Thom Badings
Phd Candidate at Radboud University, the Netherlands.

I am a PhD candidate with the Department of Software Science at the Radboud University in Nijmegen, the Netherlands, under supervision of Dr. Nils Jansen and Prof. dr. Marielle Stoelinga. As a researcher, I am part of PrimaVera, an academic consortium on the topic of predictive maintenance. Before starting my PhD in September 2020, I studied Industrial Engineering and Management at the University of Groningen, with a specialization in Smart Systems in Control and Automation.
Research interests
My primary research interests are on the intersection between Engineering, Systems & Control, and Formal Verification. While physical systems in the world of engineering are continuous, most digital solutions are designed for discrete systems. Bridging the gap between these two domains is important to solve real-world problems with digital tools, and is a recurring topic in my research. Currently, I am working on sequential decision making under uncertainty with correctness guarantees, with applications to autonomous and robotics systems, predictive maintenance, and electrical power systems.
news
2023
January
- Our paper “Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions” has been published in the Journal of Artificial Intelligence Research (JAIR), in their ‘award-winning paper track.’
2022
November
- Our paper “Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty” has been accepted for presentation at AAAI 2023.
April
- Good news, we will present our recent paper “Efficient Sensitivity Analysis for Parametric Robust Markov Chains” this summer at CAV 2023!