TY  - RPRT
TI  - Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems
AU  - Oliver Schön
AU  - Birgit van Huijgevoort
AU  - Sofie Haesaert
AU  - Sadegh Soudjani
PY  - 2023
UR  - https://arxiv.org/abs/2309.01276
ID  - 2309.01276
ER  -