Refining Constructive Hybrid Games

02/07/2020
by   Brandon Bohrer, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset