TY  - RPRT
TI  - Efficient Shield Synthesis via State-Space Transformation
AU  - Asger Horn Brorholt
AU  - Andreas Holck Høeg-Petersen
AU  - Kim Guldstrand Larsen
AU  - Christian Schilling
PY  - 2024
DO  - 10.1007/978-3-031-75434-0_14
UR  - https://arxiv.org/abs/2407.19911
ID  - 2407.19911
ER  -