TY  - RPRT
TI  - Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty
AU  - Thom Badings
AU  - Licio Romao
AU  - Alessandro Abate
AU  - Nils Jansen
PY  - 2022
UR  - https://arxiv.org/abs/2210.05989
ID  - 2210.05989
ER  -