A game approach to determinize timed automata

DOI10.1007/S10703-014-0220-1MaRDI QIDQ2018058zbMATH OpenOpenAlexFDO

Authors Nathalie Bertrand, Amélie Stainer, Thierry Jéron, 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

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

Recommendations

• A game approach to determinize timed automata
• Automata-theoretic decision of timed games
• scientific article; zbMATH DE number 2086509
• Reachability-Time Games on Timed Automata
• A unifying approach to decide relations for timed automata and their game characterization
• Robust reachability in timed automata: a game-based approach
• Robust reachability in timed automata and games: a game-based approach
• scientific article; zbMATH DE number 6862072
• Stochastic games for verification of probabilistic timed automata

Cites work

• scientific article; zbMATH DE number 2209335 (Why is no real title available?)
• A game approach to determinize timed automata
• A theory of timed automata
• Automata, logics, and infinite games. A guide to current research
• Conformance testing for real-time systems
• Event-clock automata: a determinizable class of timed automata
• Folk theorems on the determinization and minimization of timed automata
• Forward analysis of updatable timed automata
• Foundations of Software Science and Computational Structures
• Off-line test selection with test purposes for non-deterministic timed automata
• Off-line test selection with test purposes for non-deterministic timed automata
• Timed Automata with Integer Resets: Language Inclusion and Expressiveness
• Timed I/O automata: a complete specification theory for real-time systems
• Undecidable Problems About Timed Automata
• Updatable timed automata
• When Are Timed Automata Determinizable?

Cited in

(14)

• Off-line test selection with test purposes for non-deterministic timed automata
• A unifying approach to decide relations for timed automata and their game characterization
• A game approach to determinize timed automata
• scientific article; zbMATH DE number 7566065 (Why is no real title available?)
• CONCUR 2005 – Concurrency Theory
• Control Strategies for Off-Line Testing of Timed Systems
• Control strategies for off-line testing of timed systems
• Model-Checking Timed ATL for Durational Concurrent Game Structures
• Bounded determinization of timed automata with silent transitions
• Bounded determinization of timed automata with silent transitions
• scientific article; zbMATH DE number 7559498 (Why is no real title available?)
• scientific article; zbMATH DE number 6862072 (Why is no real title available?)
• Stochastic Real-Time Games with Qualitative Timed Automata Objectives
• scientific article; zbMATH DE number 2086509 (Why is no real title available?)

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

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