STV+FLY: On-the-Fly Model Checking of Strategic Ability in Multi-Agent Systems.

Damian Kurpiewski, Mateusz Kaminski, Wojciech Jamroga

Browse the full ECAI paper archive.