STORMED Hybrid Games
From MaRDI portal
Publication:3624600
DOI10.1007/978-3-642-00602-9_39zbMath1237.91020MaRDI QIDQ3624600
Mahesh Viswanathan, Vladimeros Vladimerou, Pavithra Prabhakar, Geir E. Dullerud
Publication date: 30 April 2009
Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-00602-9_39
91A10: Noncooperative games
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- STORMED Hybrid Systems
- On the synthesis of discrete controllers for timed systems
- Minimum-Time Reachability in Timed Games
- Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems