Publication:4992519
From MaRDI portal
zbMath1464.68199arXiv1307.4479MaRDI QIDQ4992519
Margherita Napoli, Dario Della Monica
Publication date: 9 June 2021
Full work available at URL: https://arxiv.org/abs/1307.4479
68Q25: Analysis of algorithms and problem complexity
91A80: Applications of game theory
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic
68T42: Agent technology and artificial intelligence
Related Items
State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems, The virtues of idleness: a decidable fragment of resource agent logic, Model-checking for resource-bounded ATL with production and consumption of resources