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 (Jun. 2023), 14701-14710. DOI:https://doi.org/10.1609/aaai.v37i12.26718.