Crossing the Bridge between Similar Games
From MaRDI portal
Publication:3172850
DOI10.1007/978-3-642-24310-3_12zbMath1348.68147OpenAlexW149460789MaRDI QIDQ3172850
Jan-David Quesel, Werner Damm, Martin Fränzle
Publication date: 7 October 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-24310-3_12
Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
- Quantitative analysis of weighted transition systems
- Robustness of temporal logic specifications for continuous-time signals
- Approximate simulation relations for hybrid systems
- Hybrid systems: computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13--15, 2009. Proceedings
- Almost ASAP semantics: from timed models to timed implementations
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
- Towards Component Based Design of Hybrid Systems: Safety and Stability
- Robust Satisfaction of Temporal Logic over Real-Valued Signals
- Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces
- STORMED Hybrid Games
- On the synthesis of discrete controllers for timed systems
- O-Minimal Hybrid Reachability Games
- Hybrid Systems: Computation and Control
- Formal Modeling and Analysis of Timed Systems
This page was built for publication: Crossing the Bridge between Similar Games
