Badings, Thom

3 publications

L4DC 2025 Data-Driven yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Mahdi Nazeri, Thom Badings, Sadegh Soudjani, Alessandro Abate

AAAI 2023 Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen

JAIR 2023 Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen