In this paper, we introduce a new logic suitable to reason about strategic abilities of multi-agent systems where (teams of) agents are subject to qualitative (parity) and quantitative (energy) con-straints and where goals are represented, as usual, by means of temporal properties. We formally define such a logic, named parity- energy-ATL (pe-ATL, for short), and we study its model checking problem, which we prove to be decidable with different complexity upper bounds, depending on different choices for the energy range. © 2018 International Foundation for Autonomous Agents and Multiagent Systems
Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS / DELLA MONICA, Dario; Murano, Aniello. - (2018), pp. 1441-1449. (Intervento presentato al convegno 17th International Conference on Autonomous Agentsand MultiAgent Systems, AAMAS 2018 tenutosi a Stockholm, Sweden, nel July 10-15,2018).
Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS
Dario Della Monica
Membro del Collaboration Group
;Aniello Murano
Membro del Collaboration Group
2018
Abstract
In this paper, we introduce a new logic suitable to reason about strategic abilities of multi-agent systems where (teams of) agents are subject to qualitative (parity) and quantitative (energy) con-straints and where goals are represented, as usual, by means of temporal properties. We formally define such a logic, named parity- energy-ATL (pe-ATL, for short), and we study its model checking problem, which we prove to be decidable with different complexity upper bounds, depending on different choices for the energy range. © 2018 International Foundation for Autonomous Agents and Multiagent SystemsI documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.