Refining Constructive Hybrid Games
arXiv:2002.02576 · doi:10.4230/LIPIcs.FSCD.2020.14
Abstract
We extend the constructive differential game logic (CdGL) of hybrid games with a refinement connective that relates two hybrid games. We use this connective to prove a folk theorem relating hybrid games to hybrid systems.
arXiv comment40 pages. Extended preprint