STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning.

Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga

Browse the full PRIMA paper archive.