Thom S. Badings

Orcid: 0000-0002-5235-1967

According to our database¹, Thom S. Badings authored at least 28 papers between 2019 and 2025.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

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

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, May, 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

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

Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty.

[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 S. Badings

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...