Thom S. Badings

According to our database, Thom S. Badings authored at least 19 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Thom S. Badings, Wietze Koops, Sebastian Junges, Nils Jansen

CoRR, 2024

CTMCs with Imprecisely Timed Observations.

Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen

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.

Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen

Proceedings of the European Control Conference, 2024

2023

Decision-making under uncertainty: beyond probabilities.

Thom S. Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen

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

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

Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen

Dataset, May, 2023

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

Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen

Dataset, April, 2023

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

Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen

J. Artif. Intell. Res., 2023

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

Thom S. Badings, Nils Jansen, Licio Romao, Alessandro Abate

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.

Luke Rickard, Thom S. Badings, Licio Romao, Alessandro Abate

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

Efficient Sensitivity Analysis for Parametric Robust Markov Chains.

Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen

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

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

Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen

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

2022

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

Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

Dataset, June, 2022

Scenario-based verification of uncertain parametric MDPs.

Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

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

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

Luke Rickard, Thom S. Badings, Licio Romao, Nils Jansen, Alessandro Abate

CoRR, 2022

Sampling-Based Verification of CTMCs with Uncertain Rates.

Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk

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

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

Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga

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

2021

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

Thom S. Badings, Nils Jansen, Hasan A. Poonawala, Mariëlle Stoelinga

CoRR, 2021

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

Thom S. Badings, Arnd Hartmanns, Nils Jansen, Marnix Suilen

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

2019

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

Vahab Rostampour, Thom S. Badings, Jacquelien M. A. Scherpen

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