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.
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
|Item Type:||Conference or Workshop Item (UNSPECIFIED)|
|Depositing User:||ing Paolo Nicastro|
|Date Deposited:||18 Oct 2010 08:14|
|Last Modified:||30 Apr 2014 19:41|
Actions (login required)