Sciweavers

LPAR
2010
Springer

Relentful Strategic Reasoning in Alternating-Time Temporal Logic

13 years 10 months ago
Relentful Strategic Reasoning in Alternating-Time Temporal Logic
Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
Added 14 Feb 2011
Updated 14 Feb 2011
Type Journal
Year 2010
Where LPAR
Authors Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
Comments (0)