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.