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

3 citations · 4 across the 2 of their papers we have counts for

collaborators

1 paper

eess.SY2023

Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions

Thom Badings, Nils Jansen, Licio Romao +1

Automated synthesis of correct-by-construction controllers for autonomous systems is crucial for their deployment in safety-critical scenarios. Such autonomous systems are naturall…