Abstract
In rational verification, one is interested in understanding which temporal logic properties will hold in a concurrent game, under the assumption that players choose strategies that form an equilibrium Players are assumed to behave rationally in pursuit of individual goals, typically specified as temporal logic formulae To date, rational verification has only been studied in noncooperative settings In this paper, we extend the rational verification framework to cooper-ative games, in which players may form coalitions to collectively achieve their goals We base our study on the computational model given by concurrent game structures and focus on the core as our basic solution concept We show the core of a concurrent game can be logically characterised using ATL, and study the computational complexity of key decision problems associated with the core, which range from problems in PSPACE to problems in 3EXPT1ME We also discuss a number of variants of the main definition of the core, leading to the issue of credible coalition formations, and a possible implementation of the main reasoning framework.
Original language | English |
---|---|
Title of host publication | Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems |
Editors | Noa Agmon, Matthew E. Taylor |
Place of Publication | Richland SC USA |
Publisher | International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) |
Pages | 1198-1206 |
Number of pages | 9 |
ISBN (Electronic) | 9781450363099 |
ISBN (Print) | 9781510892002 |
DOIs | |
Publication status | Published - 2019 |
Externally published | Yes |
Event | International Conference on Autonomous Agents and Multiagent Systems 2019 - Montreal, Canada Duration: 13 May 2019 → 17 May 2019 Conference number: 18th https://dl.acm.org/doi/proceedings/10.5555/3306127 (Proceedings) |
Publication series
Name | Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS |
---|---|
Volume | 2 |
ISSN (Print) | 1548-8403 |
ISSN (Electronic) | 1558-2914 |
Conference
Conference | International Conference on Autonomous Agents and Multiagent Systems 2019 |
---|---|
Abbreviated title | AAMAS 2019 |
Country/Territory | Canada |
City | Montreal |
Period | 13/05/19 → 17/05/19 |
Internet address |
|
Keywords
- Concurrent games
- Cooperative games
- Formal verification
- Logic