Now showing items 1-1 of 1
Relentful Strategic Reasoning in 1 Alternating-Time Temporal Logic
(Oxford University Press, 2014)
Temporal logics are a well investigated formalism for the specification, verification, and synthesis of reactive systems. Within this family, Alternating-Time Temporal Logic (ATL , for short) has been introduced as a useful generalization of classical linear- and branching-time temporal logics, by allowing temporal operators to be indexed by ...