See also my Google scholar or my DBLP page
2024
CTMCs with Imprecisely Timed Observations
In 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
In European Control Conference (ECC) 2024
Learning-Based Verification of Stochastic Dynamical Systems with Neural Network Policies
CoRR 2024
Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet
2024
Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
Under submission 2024
2023
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty
In AAAI 2023
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
Journal of Artificial Intelligence Research 2023
Decision-Making Under Uncertainty: Beyond Probabilities
Int J Softw Tools Technol Transfer (To appear) 2023
Efficient Sensitivity Analysis for Parametric Robust Markov Chains
In CAV 2023
@inproceedings { BadingsCAV2023 ,
author = {Badings, Thom and Junges, Sebastian and Marandi, Ahmadreza and Topcu, Ufuk and Jansen, Nils} ,
title = {Efficient Sensitivity Analysis for Parametric Robust Markov Chains} ,
booktitle = {{CAV}} ,
publisher = {Springer} ,
year = {2023} ,
abbr = {CAV} ,
bibtex_show = {true} ,
code = {https://github.com/LAVA-LAB/prmc-sensitivity} ,
selected = {true}
}
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics
In QEST 2023
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions
In FMAS@iFM 2023
Correct-by-Construction Reach-Avoid Control of Partially Observable Linear Stochastic Systems
ArXiv preprint 2023
2022
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise
In AAAI (distinguished paper) 2022
Scenario-Based Verification of Uncertain Parametric MDPs
Int J Softw Tools Technol Transfer 2022
Sampling-Based Verification of CTMCs with Uncertain Rates
In CAV 2022
2021
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids
In NFM 2021
2020
Data validation and reconciliation for error correction and gross error detection in multiphase allocation systems
Thom Badings , and Dennis S. van Putten
Journal of Petroleum Science and Engineering 2020
Demand Flexibility Management for Buildings-to-Grid Integration with Uncertain Generation
ENERGIES Dec 2020
2019
Distributed Building Energy Storage Units for Frequency Control Service in Power Systems
IFAC-PapersOnLine Dec 2019
Buildings-to-Grid Integration with High Wind Power Penetration
In CDC Dec 2019