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)
Language: English
Title: Relentful Strategic Reasoning in Alternating-Time Temporal Logic
Creators:
CreatorsEmail
Mogavero, FabioUNSPECIFIED
Murano, AnielloUNSPECIFIED
Autor/s: Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
Date: 2010
Number of Pages: 0
Department: Scienze fisiche
Event Title: 16th International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR-16 2010
Event Location: Dakar, Senegal
Event Dates: April 25 - May 1, 2010
Title of Book: LNCS/LNAI - Springer Veralg
Publisher: Springer-Verlag
Date: 2010
Page Range: pp. 1-15
Number of Pages: 0
Date Deposited: 18 Oct 2010 08:14
Last Modified: 30 Apr 2014 19:41
URI: http://www.fedoa.unina.it/id/eprint/5391

Abstract

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