Assume-Guarantee Verification of Strategic Ability.

Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski

Browse the full PRIMA paper archive.