Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them.

Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk

Browse the full KR paper archive.