TY  - RPRT
TI  - Correct-by-Design Control of Parametric Stochastic Systems
AU  - Oliver Schön
AU  - Birgit van Huijgevoort
AU  - Sofie Haesaert
AU  - Sadegh Soudjani
PY  - 2022
UR  - https://arxiv.org/abs/2210.08269
ID  - 2210.08269
ER  -