Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking.

Rustam Galimullin, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano

Browse the full KR paper archive.