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.







Selected publications

  1. Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise
    In AAAI (distinguished paper) 2022
    ​ ​
  2. Scenario-Based Verification of Uncertain Parametric MDPs
    Int J Softw Tools Technol Transfer 2022
    ​ ​
  3. Sampling-Based Verification of CTMCs with Uncertain Rates
    In CAV 2022
    ​ ​
  4. Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
    Journal of Artificial Intelligence Research 2023
    ​ ​
  5. Decision-Making Under Uncertainty: Beyond Probabilities
    Thom S. Badings, Thiago D. SimãoMarnix Suilen, and Nils Jansen
    Int J Softw Tools Technol Transfer (To appear) 2023
    ​ ​
  6. Efficient Sensitivity Analysis for Parametric Robust Markov Chains
    Thom BadingsSebastian Junges, Ahmadreza Marandi, Ufuk Topcu, and Nils Jansen
    In CAV 2023
    ​ ​