Relentful Strategic Reasoning in Alternating-Time Temporal Logic

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 non disponibile da questo archivio.

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

Tipologia di documento:Contributo in atti di congresso o conferenza (Non specificato)
Settori scientifico-disciplinari MIUR:Non specificato
Stato del full text:Accessibilità ristretta
Data:2010
Altri Autori:Fabio Mogavero, Aniello Murano, Moshe Y. Vardi
Editore:Springer-Verlag
Numero di pagine:0
Intervallo di pagina:pp. 1-15
Dipartimento o Struttura:Dipartimento di Scienze Fisiche
Titolo dell'evento:16th International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR-16 2010
Luogo dell'Evento:Dakar, Senegal
Data dell'evento:April 25 - May 1, 2010
Numero di sistema:5391
Depositato il:18 Ottobre 2010 10:14
Ultima modifica:18 Ottobre 2010 10:14

Solo per gli Amministratori dell'archivio: edita il record