Timed Alternating-Time Temporal Logic
From MaRDI portal
Publication:3511218
DOI10.1007/11867340_1zbMath1142.68049OpenAlexW1506670447MaRDI QIDQ3511218
Vinayak S. Prabhu, Thomas A. Henzinger
Publication date: 8 July 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11867340_1
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
Measuring Permissivity in Finite Games ⋮ Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems ⋮ Reasoning about Quality and Fuzziness of Strategic Behaviors ⋮ Model checking MASL specification of distributed real-time systems ⋮ On timed alternating simulation for concurrent timed games ⋮ Can we build it: formal synthesis of control strategies for cooperative driver assistance systems
This page was built for publication: Timed Alternating-Time Temporal Logic