A game approach to determinize timed automata

DOI10.1007/S10703-014-0220-1zbMATH Open1323.68337OpenAlexW3022641585MaRDI QIDQ2018058FDOQ2018058

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

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

zbMATH Keywords

timed automatagamedeterminizationapproximate determinization

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (11)

• Off-line test selection with test purposes for non-deterministic timed automata
• Title not available (Why is that?)
• A game approach to determinize timed automata
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Stochastic Real-Time Games with Qualitative Timed Automata Objectives

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)