Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty.

Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen

Browse the full AAAI paper archive.