@misc{indiciae38e31fb4fc71,
  title = {Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems},
  author = {Asger Horn Brorholt and Andreas Holck Høeg-Petersen and Peter Gjøl Jensen and Kim Guldstrand Larsen and Marius Mikučionis and Christian Schilling and Andrzej Wąsowski},
  year = {2025},
  doi = {10.1007/978-3-032-09524-4\_7},
  url = {https://arxiv.org/abs/2508.16345},
  note = {Source identifier: 2508.16345}
}