TY  - RPRT
TI  - CESAR: Control Envelope Synthesis via Angelic Refinements
AU  - Aditi Kabra
AU  - Jonathan Laurent
AU  - Stefan Mitsch
AU  - André Platzer
PY  - 2024
DO  - 10.1007/978-3-031-57246-3_9
UR  - https://arxiv.org/abs/2311.02833
ID  - 2311.02833
ER  -