Alert button

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

Add code
Bookmark button
Alert button
Oct 12, 2022
Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen

Figure 1 for Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty
Figure 2 for Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty
Figure 3 for Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty
Figure 4 for Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: