Minimum-Time Reachability in Timed Games

DOI10.1007/978-3-540-73420-8_71zbMATH Open1171.68526OpenAlexW1492412487MaRDI QIDQ5428862FDOQ5428862

Authors: Thomas Brihaye, Vinayak S. Prabhu, Thomas A. Henzinger, Jean-François Raskin 

Publication date: 28 November 2007

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73420-8_71

Recommendations

• Reachability-Time Games on Timed Automata
• Formal Modeling and Analysis of Timed Systems
• Two-player reachability-price games on single-clock timed automata
• Expected reachability-time games
• Expected reachability-time games

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (12)

• A survey of timed automata for the development of real-time systems
• Expected reachability-time games
• Expected reachability-time games
• Reachability-Time Games on Timed Automata
• Title not available (Why is that?)
• STORMED Hybrid Games
• Two-player reachability-price games on single-clock timed automata
• Model Checking Real-Time Systems
• Concavely-Priced Timed Automata
• Specifications for decidable hybrid games
• Controller synthesis for dynamic hierarchical real-time plants using timed automata
• Title not available (Why is that?)

This page was built for publication: Minimum-Time Reachability in Timed Games

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