Badings, Thom, Licio Romao, Alessandro Abate, and Nils Jansen. 2023. “Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models With Epistemic Uncertainty”. Proceedings of the AAAI Conference on Artificial Intelligence 37 (12):14701-10. https://doi.org/10.1609/aaai.v37i12.26718.