Publications

My peer-reviewed publications.

See also my Google scholar or my DBLP page

2024

  1. TACAS
    ​
    CTMCs with Imprecisely Timed Observations
    Thom Badings, Matthias Volk, Sebastian Junges, Marielle Stoelinga, and Nils Jansen
    In Tools and Algorithms for the Construction and Analysis of Systems 2024
    ​ ​
  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 European Control Conference (ECC) 2024
    ​ ​

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
    ​ ​
  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
    ​ ​
  3. 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
    ​ ​
  4. 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
    ​ ​
  5. QEST
    ​
    Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics
    Luke Rickard, Thom S. Badings, Licio Romao, and Alessandro Abate
    In QEST 2023
    arXiv
    ​ ​
  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
    ​ ​

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
    ​ ​
  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
    arXiv PDF
    ​ ​
  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
    arXiv PDF
    ​ ​

2021

  1. ​
    Filter-Based Abstractions for Safe Planning of Partially Observable Dynamical Systems
    Thom Badings, Nils Jansen, Hasan A. Poonawala, and Mariëlle Stoelinga
    CoRR 2021
    arXiv
    ​ ​
  2. 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
    ​ ​

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
    ​ ​