Badings, T., Romao, L., Abate, A., & 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), 14701-14710. https://doi.org/10.1609/aaai.v37i12.26718