(1)
Badings, T.; Romao, L.; Abate, A.; Jansen, N. Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models With Epistemic Uncertainty. AAAI 2023, 37, 14701-14710.