History-deterministic timed automata

DOI10.46298/LMCS-20(4:1)2024MaRDI QIDQ6635511zbMATH OpenFDO

Authors Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke

Publication date 12 November 2024

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-20(4:1)2024

zbMATH Keywords

fair simulationgood-for-games automatahistory determinismsynthesistimed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80)

Recommendations

• When Are Timed Automata Determinizable?
• Classes of timed automata and the undecidability of universality
• A theory of timed automata

Cites work

• A theory of timed automata
• Borel determinacy
• Büchi Good-for-Games Automata Are Efficiently Recognizable
• Event-clock automata: a determinizable class of timed automata
• Fair simulation
• Good for games automata: from nondeterminism to alternation
• Good-enough synthesis
• History-deterministic timed automata
• History-deterministic timed automata
• History-deterministic timed automata are not determinizable
• scientific article; zbMATH DE number 1256652 (Why is no real title available?)
• scientific article; zbMATH DE number 7799616 (Why is no real title available?)
• Minimizing GFG Transition-Based Automata
• Model Checking Probabilistic Timed Automata with One or Two Clocks
• On Determinisation of Good-for-Games Automata
• Relating word and tree automata
• Solving Games Without Determinization
• The expressive power of clocks
• The Theory of Stabilisation Monoids and Regular Cost Functions
• Timed Parity Games: Complexity and Robustness
• Undecidable Problems About Timed Automata
• Verifying abstractions of timed systems

Cited in

(2)

• History-deterministic timed automata
• Resolving nondeterminism by chance

This page was built for publication: History-deterministic timed automata

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