Minimum-Time Reachability in Timed Games

DOI10.1007/978-3-540-73420-8_71MaRDI QIDQ5428862zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

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
• scientific article; zbMATH DE number 7566065 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 7559498 (Why is no real title available?)

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)