2000 character limit reached
Refining Constructive Hybrid Games (2002.02576v3)
Published 7 Feb 2020 in cs.LO
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.