Buildings-to-Grid Integration with High Wind Power Penetration. - Vahab Rostampour; Thom S. Badings; Jacquelien M. A. Scherpen (CDC, 2019)

Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. - Thom S. Badings; Arnd Hartmanns; Nils Jansen 001; Marnix Suilen (NFM, 2021)

Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty. - Thom S. Badings; Nils Jansen 001; Hasan A. Poonawala; Mariëlle Stoelinga (CoRR, 2021)

Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. - Thom S. Badings; Alessandro Abate; Nils Jansen 001; David Parker 001; Hasan A. Poonawala; Mariëlle Stoelinga (AAAI, 2022)

Sampling-Based Verification of CTMCs with Uncertain Rates. - Thom S. Badings; Nils Jansen 001; Sebastian Junges; Mariëlle Stoelinga; Matthias Volk 001 (CAV (2), 2022)

Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. - Luke Rickard; Thom S. Badings; Licio Romao; Nils Jansen 001; Alessandro Abate (CoRR, 2022)

Scenario-based verification of uncertain parametric MDPs. - Thom S. Badings; Murat Cubuktepe; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen; Ufuk Topcu (Int. J. Softw. Tools Technol. Transf., 2022)

Experiments for 'Sampling-Based Verification of CTMCs with Uncertain Rates'. - Thom S. Badings; Sebastian Junges; Nils Jansen 001; Mariëlle Stoelinga; Matthias Volk 001 (Zenodo, 2022)

Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'. - Thom S. Badings; Murat Cubuktepe; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen; Ufuk Topcu (Zenodo, 2022)

Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'. - Thom S. Badings; Murat Cubuktepe; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen; Ufuk Topcu (Zenodo, 2022)

Experiments for 'Sampling-Based Verification of CTMCs with Uncertain Rates'. - Thom S. Badings; Nils Jansen 001; Sebastian Junges; Mariëlle Stoelinga; Matthias Volk 001 (Zenodo, 2022)

Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. - Thom S. Badings; Licio Romao; Alessandro Abate; Nils Jansen 001 (AAAI, 2023)

Efficient Sensitivity Analysis for Parametric Robust Markov Chains. - Thom S. Badings; Sebastian Junges; Ahmadreza Marandi; Ufuk Topcu; Nils Jansen 001 (CAV (3), 2023)

Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. - Luke Rickard; Thom S. Badings; Licio Romao; Alessandro Abate (QEST, 2023)

Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions. - Thom S. Badings; Nils Jansen 001; Licio Romao; Alessandro Abate (FMAS@iFM, 2023)

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. - Thom S. Badings; Licio Romao; Alessandro Abate; David Parker 001; Hasan A. Poonawala; Mariëlle Stoelinga; Nils Jansen 001 (J. Artif. Intell. Res., 2023)

Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'. - Thom S. Badings; Sebastian Junges; Ahmadreza Marandi; Ufuk Topcu; Nils Jansen 001 (Zenodo, 2023)

Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'. - Thom S. Badings; Sebastian Junges; Ahmadreza Marandi; Ufuk Topcu; Nils Jansen 001 (Zenodo, 2023)

Decision-making under uncertainty: beyond probabilities. - Thom S. Badings; Thiago D. Simão; Marnix Suilen; Nils Jansen 001 (Int. J. Softw. Tools Technol. Transf., 2023)

Artifact for "CTMCs with Imprecisely Timed Observations". - Thom S. Badings; Matthias Volk 001; Sebastian Junges; Mariëlle Stoelinga; Nils Jansen 001 (Zenodo, 2023)

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet. - Marnix Suilen; Thom S. Badings; Eline M. Bovy; David Parker 001; Nils Jansen 001 (Principles of Verification (3), 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 001 (ECC, 2024)

CTMCs with Imprecisely Timed Observations. - Thom S. Badings; Matthias Volk 001; Sebastian Junges; Mariëlle Stoelinga; Nils Jansen 001 (TACAS (2), 2024)

Learning-Based Verification of Stochastic Dynamical Systems with Neural Network Policies. - Thom S. Badings; Wietze Koops; Sebastian Junges; Nils Jansen 001 (CoRR, 2024)

DynAbs: Abstraction-Based Controller Synthesis for Stochastic Linear Dynamical Systems. - Thom S. Badings; Licio Romao; Alessandro Abate; Dave Parker; Hasan Poonawala; Mariëlle Stoelinga; Nils Jansen 001 (Zenodo, 2024)

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates. - Thom S. Badings; Wietze Koops; Sebastian Junges; Nils Jansen 001 (CAV (2), 2025)

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems. - Mahdi Nazeri; Thom S. Badings; Sadegh Soudjani; Alessandro Abate (L4DC, 2025)

Integrating Expert and Physics Knowledge for Modeling Heat Load in District Heating Systems. - Francisco Souza 001; Thom S. Badings; Geert J. Postma; Jeroen J. Jansen (IEEE Trans. Ind. Informatics, 2025)