Artifact for Hybrid Game Control Envelope Synthesis
Abstract
This artifact accompanies the paper "Hybrid Game Control Envelope Synthesis". It provides an implementation of an algorithm to perform control envelope synthesis for hybrid games by by backwards symbolic execution, implemented as a tool in the theorem prover KeYmaera X. It also provides benchmarks for evaluation.
Fields of Study & Subjects
Formal Methods in Verification
Logic
programming
and type systems
Advanced Control Systems Optimization
Publication details
- Journal / source
- KiltHub Repository
- Publication date
- 6 February 2026