Timed Alternating-Time Temporal Logic

DOI10.1007/11867340_1MaRDI QIDQ3511218zbMATH OpenOpenAlexFDO

Authors 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

Mathematics Subject Classification ID

Temporal logic (03B44) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Alternating-time temporal logic
• Temporal logics for games
• On timed alternating simulation for concurrent timed games
• On timed alternating simulation for concurrent timed games
• Timed ATL: Forget Memory, Just Count

Cited in

(17)

• Mixed-time signal temporal logic
• Alternative semantics for temporal logics
• Can we build it: formal synthesis of control strategies for cooperative driver assistance systems
• On timed alternating simulation for concurrent timed games
• Measuring Permissivity in Finite Games
• Alternating-time temporal logic
• Timed Temporal Logics for Abstracting Transient States
• Timed Concurrent Game Structures
• Temporal logics for games
• Timing in music and modal temporal logic
• Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems
• Game-Theoretic Semantics for Alternating-Time Temporal Logic
• Graded Alternating-Time Temporal Logic
• Reasoning about Quality and Fuzziness of Strategic Behaviors
• Formal verification and synthesis of mechanisms for social choice
• On timed alternating simulation for concurrent timed games
• Model checking MASL specification of distributed real-time systems

This page was built for publication: Timed Alternating-Time Temporal Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3511218)