TY  - RPRT
TI  - Scalable control synthesis for stochastic systems via structural IMDP abstractions
AU  - Frederik Baymler Mathiesen
AU  - Sofie Haesaert
AU  - Luca Laurenti
PY  - 2025
DO  - 10.1145/3716863.3718031
UR  - https://arxiv.org/abs/2411.11803
ID  - 2411.11803
ER  -