Refining Constructive Hybrid Games
Logic in Computer Science
2022-10-07 v3
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.
Cite
@article{arxiv.2002.02576,
title = {Refining Constructive Hybrid Games},
author = {Rose Bohrer and André Platzer},
journal= {arXiv preprint arXiv:2002.02576},
year = {2022}
}
Comments
40 pages. Extended preprint