3 papers
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…
cs.LG2023
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…
cs.AI2023
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…