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.
Collections
Sign up for free to add this paper to one or more collections.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.