Relentful Strategic Reasoning in Alternating-Time Temporal Logic.

Fabio Mogavero, Aniello Murano, Moshe Y. Vardi

Browse the full LPAR paper archive.