Thom Badings

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!

Selected publications

AAAI

Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise

Thom Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, and Mariëlle Stoelinga

In AAAI (distinguished paper) 2022

PDF
STTT

Scenario-Based Verification of Uncertain Parametric MDPs

Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, and Ufuk Topcu

Int J Softw Tools Technol Transfer 2022

arXiv PDF
CAV

Sampling-Based Verification of CTMCs with Uncertain Rates

Thom Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, and Matthias Volk

In CAV 2022

arXiv PDF
JAIR

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions

Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Marielle Stoelinga, and Nils Jansen

Journal of Artificial Intelligence Research 2023

PDF
STTT

Decision-Making Under Uncertainty: Beyond Probabilities

Thom S. Badings, Thiago D. Simão, Marnix Suilen, and Nils Jansen

Int J Softw Tools Technol Transfer (To appear) 2023

arXiv

CAV

Efficient Sensitivity Analysis for Parametric Robust Markov Chains

Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, and Nils Jansen

In CAV 2023

Bib Code

@inproceedings{BadingsCAV2023,
  author = {Badings, Thom and Junges, Sebastian and Marandi, Ahmadreza and Topcu, Ufuk and Jansen, Nils},
  title = {Efficient Sensitivity Analysis for Parametric Robust Markov Chains},
  booktitle = {{CAV}},
  publisher = {Springer},
  year = {2023},
  abbr = {CAV},
  bibtex_show = {true},
  code = {https://github.com/LAVA-LAB/prmc-sensitivity},
  selected = {true}
}