Publications

See also my Google scholar or my DBLP page

2026

  1. AAAI
    ​
    Best-Effort Policies for Robust Markov Decision Processes
    Alessandro Abate,  Thom Badings, Giuseppe De Giacomo, and Francesco Fabiano
    In AAAI 2026
    ​ ​
  2. L4DC
    ​
    Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
    Nikolaus Vertovec, Frederik Baymler Mathiesen,  Thom Badings, Luca Laurenti, and Alessandro Abate
    In L4DC (to be presented) 2026
    ​ ​
  3. ​
    Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
    Alessandro Riccardi,  Thom Badings, Luca Laurenti, Alessandro Abate, and Bart De Schutter
    CoRR 2026
    ​ ​

2025

  1. CAV
    ​
    Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
    Thom Badings, Wietze Koops, Sebastian Junges, and Nils Jansen
    In CAV (2) 2025
    PDF Code
    ​ ​
  2. TII
    ​
    Integrating Expert and Physics Knowledge for Modeling Heat Load in District Heating Systems
    Francisco Souza,  Thom Badings, Geert J. Postma, and Jeroen J. Jansen
    IEEE Trans. Ind. Informatics 2025
    PDF
    ​ ​
  3. L4DC
    ​
    Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
    Mahdi Nazeri,  Thom Badings, Sadegh Soudjani, and Alessandro Abate
    In L4DC 2025
    PDF
    ​ ​
  4. CDC
    ​
    Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
    Mahdi Nazeri,  Thom Badings, Anne-Kathrin Schmuck, Sadegh Soudjani, and Alessandro Abate
    CDC 2025
    PDF
    ​ ​
  5. CDC
    ​
    Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
    Thom Badings, and Alessandro Abate
    CDC 2025
    PDF Code
    ​ ​

2024

  1. TACAS
    ​
    CTMCs with Imprecisely Timed Observations
    Thom Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, and Nils Jansen
    In TACAS (2) 2024
    PDF Code
    ​ ​
  2. ECC
    ​
    A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
    Thom Badings, Licio Romao, Alessandro Abate, and Nils Jansen
    In ECC 2024
    PDF Code
    ​ ​
  3. ​
    Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet
    Marnix Suilen,  Thom Badings, Eline M. Bovy, David Parker, and Nils Jansen
    In Principles of Verification (3) 2024
    arXiv PDF
    ​ ​

2023

  1. AAAI
    ​
    Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty
    Thom Badings, Licio Romao, Alessandro Abate, and Nils Jansen
    In AAAI 2023
    arXiv PDF Code
    ​ ​
  2. 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 Code
    ​ ​
  3. STTT
    ​
    Decision-making under uncertainty: beyond probabilities
    Thom Badings, Thiago D. Simão, Marnix Suilen, and Nils Jansen
    Int. J. Softw. Tools Technol. Transf. 2023
    arXiv PDF
    ​ ​
  4. CAV
    ​
    Efficient Sensitivity Analysis for Parametric Robust Markov Chains
    Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, and Nils Jansen
    In CAV (3) 2023
    PDF Code
    ​ ​
  5. QEST
    ​
    Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics
    Luke Rickard,  Thom Badings, Licio Romao, and Alessandro Abate
    In QEST 2023
    arXiv PDF
    ​ ​
  6. FMAS
    ​
    Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions
    Thom Badings, Nils Jansen, Licio Romao, and Alessandro Abate
    In FMAS@iFM 2023
    arXiv PDF
    ​ ​
  7. ​
    Correct-by-Construction Reach-Avoid Control of Partially Observable Linear Stochastic Systems
    Thom Badings, Hasan A. Poonawala, Mariëlle Stoelinga, and Nils Jansen
    ArXiv preprint 2023
    arXiv
    ​ ​

2022

  1. 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 Code
    ​ ​
  2. 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
    PDF Code
    ​ ​
  3. CAV
    ​
    Sampling-Based Verification of CTMCs with Uncertain Rates
    Thom Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, and Matthias Volk
    In CAV 2022
    PDF Code
    ​ ​

2021

  1. NFM
    ​
    Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids
    Thom Badings, Arnd Hartmanns, Nils Jansen, and Marnix Suilen
    In NFM 2021
    arXiv PDF Code
    ​ ​

2020

  1. ​
    Data validation and reconciliation for error correction and gross error detection in multiphase allocation systems
    Thom Badings, and Dennis S. van Putten
    Journal of Petroleum Science and Engineering 2020
    PDF
    ​ ​
  2. ENERGIES
    ​
    Demand Flexibility Management for Buildings-to-Grid Integration with Uncertain Generation
    Vahab Rostampour,  Thom Badings, and Jacquelien M. A. Scherpen
    ENERGIES Dec 2020
    PDF
    ​ ​

2019

  1. IFAC
    ​
    Distributed Building Energy Storage Units for Frequency Control Service in Power Systems
    Thom Badings, Vahab Rostampour, and Jacquelien M.A. Scherpen
    IFAC-PapersOnLine Dec 2019
    PDF
    ​ ​
  2. CDC
    ​
    Buildings-to-Grid Integration with High Wind Power Penetration
    Vahab Rostampour,  Thom Badings, and Jacquelien M. A. Scherpen
    In CDC Dec 2019
    PDF
    ​ ​