Thom Badings

Orcid: 0000-0002-5235-1967

Affiliations:

University of Oxford, UK
Radboud University, Department of Software Science, Nijmegen, The Netherlands (former, PhD 2025)
University of Groningen, Engineering and Technology Institute (ENTEG), Groningen, The Netherlands (former)

According to our database¹, Thom Badings authored at least 36 papers between 2019 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2026

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization.

[BibT_eX]

[DOI]

CoRR, April, 2026

Best-Effort Policies for Robust Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation.

[BibT_eX]

[DOI]

Nikolaus Vertovec

Frederik Baymler Mathiesen

Thom Badings

Luca Laurenti

Alessandro Abate

CoRR, November, 2025

Integrating Expert and Physics Knowledge for Modeling Heat Load in District Heating Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, May, 2025

Experiments for 'Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates'.

[BibT_eX]

[DOI]

Dataset, May, 2025

Experiments for 'Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates'.

[BibT_eX]

[DOI]

Dataset, April, 2025

Robust Verification of Stochastic Systems: Guarantees in the Presence of Uncertainty.

[BibT_eX]

[DOI]

Thom S. Badings

PhD thesis, 2025

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the 7th Annual Learning for Dynamics & Control Conference, 2025

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics.

[BibT_eX]

[DOI]

Proceedings of the 64th IEEE Conference on Decision and Control, 2025

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems.

[BibT_eX]

[DOI]

Thom Badings

Alessandro Abate

Proceedings of the 64th IEEE Conference on Decision and Control, 2025

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

DynAbs: Abstraction-Based Controller Synthesis for Stochastic Linear Dynamical Systems.

[BibT_eX]

[DOI]

Dataset, August, 2024

Learning-Based Verification of Stochastic Dynamical Systems with Neural Network Policies.

[BibT_eX]

[DOI]

CoRR, 2024

CTMCs with Imprecisely Timed Observations.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions.

[BibT_eX]

[DOI]

Proceedings of the European Control Conference, 2024

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet.

[BibT_eX]

[DOI]

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

Artifact for "CTMCs with Imprecisely Timed Observations".

[BibT_eX]

[DOI]

Dataset, December, 2023

Decision-making under uncertainty: beyond probabilities.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., June, 2023

Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'.

[BibT_eX]

[DOI]

Dataset, May, 2023

Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'.

[BibT_eX]

[DOI]

Dataset, April, 2023

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

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2023

Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Efficient Sensitivity Analysis for Parametric Robust Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Experiments for 'Sampling-Based Verification of CTMCs with Uncertain Rates'.

[BibT_eX]

[DOI]

Dataset, September, 2022

Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'.

[BibT_eX]

[DOI]

Dataset, June, 2022

Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'.

[BibT_eX]

[DOI]

Dataset, June, 2022

Experiments for 'Sampling-Based Verification of CTMCs with Uncertain Rates'.

[BibT_eX]

[DOI]

Dataset, May, 2022

Scenario-based verification of uncertain parametric MDPs.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2022

Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics.

[BibT_eX]

[DOI]

CoRR, 2022

Sampling-Based Verification of CTMCs with Uncertain Rates.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

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

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Correct-by-construction reach-avoid control of partially observable linear stochastic systems.

[BibT_eX]

[DOI]

CoRR, 2021

Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

2019

Buildings-to-Grid Integration with High Wind Power Penetration.

[BibT_eX]

[DOI]

Vahab Rostampour

Thom S. Badings

Jacquelien M. A. Scherpen

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Thom Badings

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...