TY  - RPRT
TI  - Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
AU  - Oliver Schön
AU  - Birgit van Huijgevoort
AU  - Sofie Haesaert
AU  - Sadegh Soudjani
PY  - 2024
DO  - 10.1109/tac.2024.3459308
UR  - https://arxiv.org/abs/2304.07428
ID  - 2304.07428
ER  -