Mogavero, Fabio and Murano, Aniello (2010) Relentful Strategic Reasoning in Alternating-Time Temporal Logic. In: 16th International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR-16 2010, April 25 - May 1, 2010, Dakar, Senegal.

Full text not available from this repository.
Item Type: Conference or Workshop Item (UNSPECIFIED)
Date Deposited: 18 Oct 2010 08:14
Last Modified: 30 Apr 2014 19:41


Temporal logics are a well investigated formalism for the specification verification, and synthesis of reactive systems. Within this family, alternating temporal logic, ATL*, has been introduced as a useful generalization of classical linear- and branchin

Actions (login required)

View Item View Item