We propose a logical framework combining a game-theoretic study of abilities of agents to achieve quantitative objectives in multi-player games by optimizing payoffs or preferences on outcomes with a logical analysis of the abilities of players for achieving qualitative objectives of players, i.e., reaching or maintaining game states with desired properties. We enrich concurrent game models with payoffs for the normal form games associated with the states of the model and propose a quantitative extension of the logic ATL* enabling the combination of quantitative and qualitative reasoning.
|Journal||Electronic Proceedings in Theoretical Computer Science|
|Number of pages||9|
|Publication status||Published - 2013|
|Event||1st Workshop on Strategic Reasoning (SR 2013) - Rome, Italy|
Duration: 16 Mar 2013 → 17 Mar 2013
|Conference||1st Workshop on Strategic Reasoning (SR 2013)|
|Period||16/03/2013 → 17/03/2013|
Bibliographical noteThis work is licensed under the Creative Commons Attribution License.
- cs.LO cs.MA