32 citations · 70 across the 23 of their papers we have counts for
4 papers · 1 filter
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…
Efficient Sensitivity Analysis for Parametric Robust Markov Chains
Thom Badings, Sebastian Junges, Ahmadreza Marandi +2
We provide a novel method for sensitivity analysis of parametric robust Markov chains. These models incorporate parameters and sets of probability distributions to alleviate the of…
Decision-Making Under Uncertainty: Beyond Probabilities
Thom Badings, Thiago D. Simão, Marnix Suilen +1
This position paper reflects on the state-of-the-art in decision-making under uncertainty. A classical assumption is that probabilities can sufficiently capture all uncertainty in…
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions
Thom Badings, Licio Romao, Alessandro Abate +4
Controllers for dynamical systems that operate in safety-critical settings must account for stochastic disturbances. Such disturbances are often modeled as process noise in a dynam…