default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThom Badings
Person information
- affiliation: University of Oxford, UK
- affiliation (former, PhD 2025): Radboud University, Department of Software Science, Nijmegen, The Netherlands
- affiliation (former): University of Groningen, Engineering and Technology Institute (ENTEG), Groningen, The Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[b1]Thom S. Badings:
Robust Verification of Stochastic Systems: Guarantees in the Presence of Uncertainty. Radboud University Nijmegen, Netherlands, 2025- [j4]Francisco Souza
, Thom Badings, Geert J. Postma, Jeroen J. Jansen:
Integrating Expert and Physics Knowledge for Modeling Heat Load in District Heating Systems. IEEE Trans. Ind. Informatics 21(5): 3955-3965 (2025) - [c13]Thom Badings, Wietze Koops, Sebastian Junges, Nils Jansen:
Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates. CAV (2) 2025: 349-375 - [c12]Mahdi Nazeri, Thom Badings, Sadegh Soudjani, Alessandro Abate:
Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems. L4DC 2025: 1550-1564 - [d10]Thom Badings, Wietze Koops, Sebastian Junges, Nils Jansen:
Experiments for 'Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates'. Version v1. Zenodo, 2025 [all versions]
- [d9]Thom Badings, Wietze Koops, Sebastian Junges, Nils Jansen:
Experiments for 'Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates'. Version v1.1. Zenodo, 2025 [all versions] - [i20]Mahdi Nazeri, Thom Badings, Sadegh Soudjani, Alessandro Abate:
Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems. CoRR abs/2501.01191 (2025) - [i19]Francisco Souza, Thom Badings, Geert J. Postma, Jeroen J. Jansen:
Integrating Expert and Physics Knowledge for Modeling Heat Load in District Heating Systems. CoRR abs/2501.10827 (2025) - [i18]Thom Badings, Alessandro Abate:
Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems. CoRR abs/2508.05062 (2025) - [i17]Alessandro Abate, Thom Badings, Giuseppe De Giacomo, Francesco Fabiano:
Best-Effort Policies for Robust Markov Decision Processes. CoRR abs/2508.07790 (2025) - [i16]Mahdi Nazeri, Thom Badings, Anne-Kathrin Schmuck, Sadegh Soudjani, Alessandro Abate:
Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics. CoRR abs/2508.15543 (2025) - [i15]Nikolaus Vertovec, Frederik Baymler Mathiesen, Thom Badings, Luca Laurenti, Alessandro Abate:
Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation. CoRR abs/2511.06341 (2025) - 2024
- [c11]Marnix Suilen, Thom Badings, Eline M. Bovy, David Parker, Nils Jansen:
Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet. Principles of Verification (3) 2024: 126-154 - [c10]Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen:
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions. ECC 2024: 564-570 - [c9]Thom Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen:
CTMCs with Imprecisely Timed Observations. TACAS (2) 2024: 258-278 - [d8]Thom Badings, Licio Romao, Alessandro Abate, Dave Parker, Hasan Poonawala, Mariëlle Stoelinga, Nils Jansen:
DynAbs: Abstraction-Based Controller Synthesis for Stochastic Linear Dynamical Systems. Zenodo, 2024 - [i14]Thom Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen:
CTMCs with Imprecisely Timed Observations. CoRR abs/2401.06574 (2024) - [i13]Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen:
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions. CoRR abs/2404.01726 (2024) - [i12]Thom Badings, Wietze Koops, Sebastian Junges, Nils Jansen:
Learning-Based Verification of Stochastic Dynamical Systems with Neural Network Policies. CoRR abs/2406.00826 (2024) - [i11]Marnix Suilen, Thom Badings, Eline M. Bovy, David Parker, Nils Jansen:
Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet. CoRR abs/2411.11451 (2024) - 2023
- [j3]Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen:
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. J. Artif. Intell. Res. 76: 341-391 (2023) - [j2]Thom Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen:
Decision-making under uncertainty: beyond probabilities. Int. J. Softw. Tools Technol. Transf. 25(3): 375-391 (2023) - [c8]Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen:
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. AAAI 2023: 14701-14710 - [c7]Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen:
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. CAV (3) 2023: 62-85 - [c6]Luke Rickard, Thom Badings, Licio Romao, Alessandro Abate:
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. QEST 2023: 10-29 - [c5]Thom Badings, Nils Jansen, Licio Romao, Alessandro Abate:
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions. FMAS@iFM 2023: 144-152 - [d7]Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen:
Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'. Version 1. Zenodo, 2023 [all versions] - [d6]Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen:
Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'. Version 1.1. Zenodo, 2023 [all versions] - [d5]Thom Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen:
Artifact for "CTMCs with Imprecisely Timed Observations". Zenodo, 2023 - [i10]Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen:
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions. CoRR abs/2301.01526 (2023) - [i9]Thom Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen:
Decision-Making Under Uncertainty: Beyond Probabilities. CoRR abs/2303.05848 (2023) - [i8]Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen:
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. CoRR abs/2305.01473 (2023) - 2022
- [j1]Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-based verification of uncertain parametric MDPs. Int. J. Softw. Tools Technol. Transf. 24(5): 803-819 (2022) - [c4]Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga:
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. AAAI 2022: 9669-9678 - [c3]Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk:
Sampling-Based Verification of CTMCs with Uncertain Rates. CAV (2) 2022: 26-47 - [d4]Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'. Version 1. Zenodo, 2022 [all versions] - [d3]Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'. Version 2. Zenodo, 2022 [all versions] - [d2]Thom Badings, Sebastian Junges, Nils Jansen, Mariëlle Stoelinga, Matthias Volk:
Experiments for 'Sampling-Based Verification of CTMCs with Uncertain Rates'. Version 1. Zenodo, 2022 [all versions] - [d1]Thom Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk:
Experiments for 'Sampling-Based Verification of CTMCs with Uncertain Rates'. Version 2. Zenodo, 2022 [all versions] - [i7]Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk:
Sampling-Based Verification of CTMCs with Uncertain Rates. CoRR abs/2205.08300 (2022) - [i6]Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen:
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. CoRR abs/2210.05989 (2022) - [i5]Luke Rickard, Thom Badings, Licio Romao, Nils Jansen, Alessandro Abate:
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. CoRR abs/2212.00679 (2022) - 2021
- [c2]Thom S. Badings, Arnd Hartmanns, Nils Jansen, Marnix Suilen:
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. NFM 2021: 1-18 - [i4]Thom S. Badings, Arnd Hartmanns, Nils Jansen, Marnix Suilen:
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. CoRR abs/2101.12496 (2021) - [i3]Thom Badings, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen:
Correct-by-construction reach-avoid control of partially observable linear stochastic systems. CoRR abs/2103.02398 (2021) - [i2]Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga:
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. CoRR abs/2110.12662 (2021) - [i1]Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-Based Verification of Uncertain Parametric MDPs. CoRR abs/2112.13020 (2021)
2010 – 2019
- 2019
- [c1]Vahab Rostampour, Thom S. Badings, Jacquelien M. A. Scherpen:
Buildings-to-Grid Integration with High Wind Power Penetration. CDC 2019: 2976-2981
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2026-01-17 01:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
