Paper ID: 2310.15727

Towards Assume-Guarantee Verification of Strategic Ability

Łukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski

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.

Submitted: Oct 24, 2023