T. Badings, L. Romao, A. Abate, and N. Jansen, “Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty”, AAAI, vol. 37, no. 12, pp. 14701-14710, Jun. 2023.