Towards Assume-Guarantee Verification of Strategic Ability
Abstract
Formal verification of strategic abilities is a hard problem. We propose to use the methodology of assume-guarantee reasoning in order to facilitate model checking of alternating-time temporal logic with imperfect information and imperfect recall.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2023
- DOI:
- 10.48550/arXiv.2310.15727
- arXiv:
- arXiv:2310.15727
- Bibcode:
- 2023arXiv231015727M
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Multiagent Systems
- E-Print:
- 21st International Conference on Autonomous Agents and Multiagent Systems, {AAMAS} 2022, Auckland, New Zealand, May 9-13, 2022, 1702--1704