Constructive Hybrid Games Article Swipe
Related Concepts
No concepts available.
Rose Bohrer
,
André Platzer
,
Rose Bohrer
,
André Platzer
·
YOU?
·
· 2020
· Open Access
·
· DOI: https://doi.org/10.1007/978-3-030-51074-9_26
· OA: W3005232010
YOU?
·
· 2020
· Open Access
·
· DOI: https://doi.org/10.1007/978-3-030-51074-9_26
· OA: W3005232010
Hybrid games combine discrete, continuous, and adversarial dynamics. Differential game logic ("Equation missing") enables proving (classical) existence of winning strategies. We introduce constructive differential game logic () for hybrid games, where proofs that a player can win the game correspond to computable winning strategies. This constitutes the logical foundation for synthesis of correct control and monitoring code for safety-critical cyber-physical systems. Our contributions include novel semantics as well as soundness and consistency.
Related Topics
Finding more related topics…