Refining Constructive Hybrid Games

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.

40 pages. Extended preprint

References in corpus (1)

• Toward Structured Proofs for Dynamic Logics

Cited by in corpus (1)

• Structured Proofs for Adversarial Cyber-Physical Systems