[1]
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.