See also my Google scholar or my DBLP page
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
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
Filter-Based Abstractions for Safe Planning of Partially Observable Dynamical Systems
CoRR 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