|
[BRAJ23]
Thom Badings, Licio Romao, Alessandro Abate and Nils Jansen.
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty.
In Proc. AAAI'23.
2023.
[Develops uncertainty-aware controller synthesis methods for stochastic dynamical models, using PRISM to solve interval MDPs.]
|
|
Links:
[Google]
[Google Scholar]
|