About Me

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.

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.

Download my (usually outdated) CV

Selected Items

May 2022 - Paper accepted at CAV 2022

Our paper "Sampling-Based Verification of CTMCs with Uncertain Rates" has been accepted at CAV 2022! We contribute a method for statistically correct verification of continuous-time Markov chains with unknown transition rates.

Feb 2022 - Distinguished paper award at AAAI 2022

Our paper at AAAI 2022 has been selected as one of the six distinguished papers! The conference received 9251 submissions, of which 1349 were accepted for publication. Our paper constitutes the first approach to provide hard safety guarantees on the behavior of autonomous systems in continuous-space environments under stochastic uncertainty stemming from unknown distributions.

Watch our presentation

Nov 2021 - Accepted paper at AAAI 2022

I am thrilled to share that our paper "Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise" has been accepted for presentation at the prestigious AAAI conference in 2022!

Read article

Feb 2021 - Paper accepted at NFM 2021!

Our paper Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids was accepted at the Nasa Formal Methods Symposium of 2021!

Read article

Publications

Next to the publications listed below, see also my Google Scholar profile or my DBLP entry.

Link	Journal and conference publications
	Thom Badings, Nils Jansen, Sebastian Junges, Marielle Stoelinga & Matthias Volk (2022). Sampling-Based Verification of CTMCs with Uncertain Rates. CAV 2022.
PDF	Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen & Ufuk Topcu (2022). Scenario-Based Verification of Uncertain Parametric MDPs. To appear in STTT (Special Issue TACAS 2020).
PDF	Thom Badings, Alessandro Abate, David Parker, Nils Jansen, Hasan Poonawala & Marielle Stoelinga (2022). Sampling-based Robust Control of Autonomous Systems with Non-Gaussian Noise. AAAI 2022 (distinguished paper).
PDF	Thom Badings, Nils Jansen, Hasan Poonawala & Marielle Stoelinga (2021). Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty. arXiv preprint arXiv:2103.02398.
DOI	Thom Badings, Arnd Hartmanns, Nils Jansen & Marnix Suilen (2021). Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. NFM 2021.
DOI	Thom Badings & Dennis van Putten (2020). Data validation and reconciliation for error correction and gross error detection in multiphase allocation systems. Journal of Petroleum Science and Engineering, 195.
PDF	Vahab Rostampour, Thom Badings & Jacquelien Scherpen (2020). Demand Flexibility Management for Buildings-to-Grid Integration with Uncertain Generation. Energies, 13(24).
DOI	Vahab Rostampour, Thom Badings & Jacquelien Scherpen (2019). Buildings-to-Grid Integration with High Wind Power Penetration. Proceedings of the 2019 IEEE 58th Conference on Decision and Control (CDC).
DOI	Thom Badings, Vahab Rostampour & Jacquelien Scherpen (2019). Distributed Building Energy Storage Units for Frequency Control Service in Power Systems. IFAC-PapersOnLine, 52(4), 228–233.

Link	Theses
	Thom Badings (2019). Data Validation and Reconciliation for the Assessment of Gas Transport Systems. University of Groningen, MSc design project.
PDF	Thom Badings (2019). Buildings-to-Grid Integration for Demand-Side Flexibility in Power Systems with Uncertain Generation. University of Groningen, MSc thesis.

Thom Badings.