Badings, T., Romao, L., Abate, A. and Jansen, N. (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), pp. 14701-14710. doi: 10.1609/aaai.v37i12.26718.