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.
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
Solo per gli Amministratori dell'archivio: edita il record