Minimum-Time Reachability in Timed Games

DOI10.1007/978-3-540-73420-8_71zbMath1171.68526OpenAlexW1492412487MaRDI QIDQ5428862

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

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

Related Items (9)

Expected reachability-time games ⋮ Model Checking Real-Time Systems ⋮ A survey of timed automata for the development of real-time systems ⋮ Controller synthesis for dynamic hierarchical real-time plants using timed automata ⋮ Specifications for decidable hybrid games ⋮ Concavely-Priced Timed Automata ⋮ Unnamed Item ⋮ Unnamed Item ⋮ STORMED Hybrid Games

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