Towards Assume-Guarantee Verification of Strategic Ability
Mikulski, Łukasz, Jamroga, Wojciech, Kurpiewski, Damian
–arXiv.org Artificial Intelligence
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.
arXiv.org Artificial Intelligence
Oct-24-2023
- Country:
- Europe > Poland
- Masovia Province > Warsaw (0.04)
- Kuyavian-Pomeranian Province > Toruń (0.04)
- Europe > Poland
- Genre:
- Research Report (0.82)
- Technology: