Crossing the Bridge between Similar Games

DOI10.1007/978-3-642-24310-3_12zbMATH Open1348.68147OpenAlexW149460789MaRDI QIDQ3172850FDOQ3172850

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

Recommendations

• Game comparison through play
• An amalgation of games
• A beautiful formula for game convergence
• Learning across games
• scientific article; zbMATH DE number 16387
• Cascaded Games
• The river crossing game

zbMATH Keywords

hybrid gameslogics for hybrid systemsformal verification of hybrid systemsrobust simulation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80) 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)

Cites Work

• KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
• Hybrid Systems: Computation and Control
• Title not available (Why is that?)
• Robustness of temporal logic specifications for continuous-time signals
• On the synthesis of discrete controllers for timed systems
• Title not available (Why is that?)
• Almost ASAP semantics: from timed models to timed implementations
• Title not available (Why is that?)
• O-Minimal Hybrid Reachability Games
• Formal Modeling and Analysis of Timed Systems
• Quantitative analysis of weighted transition systems
• Title not available (Why is that?)
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
• Towards Component Based Design of Hybrid Systems: Safety and Stability
• STORMED Hybrid Games
• Robust Satisfaction of Temporal Logic over Real-Valued 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
• Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces

Cited In (1)

• Approximate bisimulation: a bridge between computer science and control theory

Uses Software

• KeYmaera
• PHAVer
• HyTech
• RSOLVER
• MATISSE
• HSolver
• LinAIG
• SpaceEx

This page was built for publication: Crossing the Bridge between Similar Games

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