TY  - RPRT
TI  - Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
AU  - Asger Horn Brorholt
AU  - Andreas Holck Høeg-Petersen
AU  - Peter Gjøl Jensen
AU  - Kim Guldstrand Larsen
AU  - Marius Mikučionis
AU  - Christian Schilling
AU  - Andrzej Wąsowski
PY  - 2025
DO  - 10.1007/978-3-032-09524-4_7
UR  - https://arxiv.org/abs/2508.16345
ID  - 2508.16345
ER  -