A game approach to determinize timed automata

DOI10.1007/s10703-014-0220-1zbMath1323.68337OpenAlexW3022641585MaRDI QIDQ2018058

Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen

Publication date: 24 March 2015

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-014-0220-1

zbMATH Keywords

timed automatagamedeterminizationapproximate determinization

Mathematics Subject Classification ID

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

Related Items

Control Strategies for Off-Line Testing of Timed Systems ⋮ Control strategies for off-line testing of timed systems ⋮ Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Conformance testing for real-time systems
• Folk theorems on the determinization and minimization of timed automata
• Event-clock automata: a determinizable class of timed automata
• A theory of timed automata
• Automata, logics, and infinite games. A guide to current research
• Forward analysis of updatable timed automata
• Updatable timed automata
• Timed I/O automata
• A Game Approach to Determinize Timed Automata
• Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata
• Off-line test selection with test purposes for non-deterministic timed automata
• Undecidable Problems About Timed Automata
• Timed Automata with Integer Resets: Language Inclusion and Expressiveness
• When Are Timed Automata Determinizable?
• Foundations of Software Science and Computational Structures

This page was built for publication: A game approach to determinize timed automata