Thom S. Badings

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 26

Top Topics

Dynamical Models

Controller Synthesis

Policy Search Methods

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions. ECC (2024)
Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions. CoRR (2024)
Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen
CTMCs with Imprecisely Timed Observations. CoRR (2024)
Thom S. Badings, Wietze Koops, Sebastian Junges, Nils Jansen
Learning-Based Verification of Stochastic Dynamical Systems with Neural Network Policies. CoRR (2024)
Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen
CTMCs with Imprecisely Timed Observations. TACAS (2) (2024)
Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. J. Artif. Intell. Res. 76 (2023)
Thom S. Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen
Decision-Making Under Uncertainty: Beyond Probabilities. CoRR (2023)
Thom S. Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen
Decision-making under uncertainty: beyond probabilities. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Thom S. Badings, Nils Jansen, Licio Romao, Alessandro Abate
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions. CoRR (2023)
Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. CoRR (2023)
Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions. CoRR (2023)
Luke Rickard, Thom S. Badings, Licio Romao, Alessandro Abate
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. QEST (2023)
Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. CAV (3) (2023)
Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. AAAI (2023)
Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
Scenario-based verification of uncertain parametric MDPs. Int. J. Softw. Tools Technol. Transf. 24 (5) (2022)
Luke Rickard, Thom S. Badings, Licio Romao, Nils Jansen, Alessandro Abate
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. CoRR (2022)
Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk
Sampling-Based Verification of CTMCs with Uncertain Rates. CAV (2) (2022)
Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk
Sampling-Based Verification of CTMCs with Uncertain Rates. CoRR (2022)
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. AAAI (2022)
Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. CoRR (2022)
Thom S. Badings, Arnd Hartmanns, Nils Jansen, Marnix Suilen
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. CoRR (2021)
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. CoRR (2021)
Thom S. Badings, Arnd Hartmanns, Nils Jansen, Marnix Suilen
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. NFM (2021)
Thom S. Badings, Nils Jansen, Hasan A. Poonawala, Mariëlle Stoelinga
Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty. CoRR (2021)
Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
Scenario-Based Verification of Uncertain Parametric MDPs. CoRR (2021)
Vahab Rostampour, Thom S. Badings, Jacquelien M. A. Scherpen
Buildings-to-Grid Integration with High Wind Power Penetration. CDC (2019)