TY  - RPRT
TI  - Hybrid Game Control Envelope Synthesis
AU  - Aditi Kabra
AU  - Jonathan Laurent
AU  - Stefan Mitsch
AU  - André Platzer
PY  - 2025
DO  - 10.1145/3798230
UR  - https://arxiv.org/abs/2508.05997
ID  - 2508.05997
ER  -