Back to Search
Start Over
Refining Constructive Hybrid Games
- Publication Year :
- 2020
-
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.<br />Comment: 40 pages. Extended preprint
- Subjects :
- Computer Science - Logic in Computer Science
Subjects
Details
- Database :
- arXiv
- Publication Type :
- Report
- Accession number :
- edsarx.2002.02576
- Document Type :
- Working Paper
- Full Text :
- https://doi.org/10.4230/LIPIcs.FSCD.2020.14