Thom Badings

33 papers A* 2Journal 21Unranked 10
YearRankTypeTitle / Venue / Authors
2026 A* conf
Best-Effort Policies for Robust Markov Decision Processes.
AAAI
Alessandro Abate, Thom Badings, Giuseppe De Giacomo, Francesco Fabiano
2025 J jnl
Best-Effort Policies for Robust Markov Decision Processes.
CoRR
Alessandro Abate, Thom Badings, Giuseppe De Giacomo, Francesco Fabiano
2025 — conf
Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics.
CDC
Mahdi Nazeri, Thom Badings, Anne-Kathrin Schmuck, Sadegh Soudjani, Alessandro Abate
2025 J jnl
Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics.
CoRR
Mahdi Nazeri, Thom Badings, Anne-Kathrin Schmuck, Sadegh Soudjani, Alessandro Abate
2025 — conf
Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems.
L4DC
Mahdi Nazeri, Thom Badings, Sadegh Soudjani, Alessandro Abate
2025 J jnl
Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems.
CoRR
Mahdi Nazeri, Thom Badings, Sadegh Soudjani, Alessandro Abate
2025 J jnl
Integrating Expert and Physics Knowledge for Modeling Heat Load in District Heating Systems.
CoRR
Francisco Souza, Thom Badings, Geert J. Postma, Jeroen J. Jansen
2025 J jnl
Integrating Expert and Physics Knowledge for Modeling Heat Load in District Heating Systems.
IEEE Trans. Ind. Informatics
Francisco Souza, Thom Badings, Geert J. Postma, Jeroen J. Jansen
2025 — conf
Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates.
CAV (2)
Thom Badings, Wietze Koops, Sebastian Junges, Nils Jansen
2025 — conf
Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems.
CDC
Thom Badings, Alessandro Abate
2025 J jnl
Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems.
CoRR
Thom Badings, Alessandro Abate
2025 J jnl
Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation.
CoRR
Nikolaus Vertovec, Frederik Baymler Mathiesen, Thom Badings, Luca Laurenti, Alessandro Abate
2024 — conf
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions.
ECC
Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
2024 J jnl
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions.
CoRR
Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
2024 — conf
CTMCs with Imprecisely Timed Observations.
TACAS (2)
Thom Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen
2024 J jnl
CTMCs with Imprecisely Timed Observations.
CoRR
Thom Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen
2024 J jnl
Learning-Based Verification of Stochastic Dynamical Systems with Neural Network Policies.
CoRR
Thom Badings, Wietze Koops, Sebastian Junges, Nils Jansen
2024 — conf
Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet.
Principles of Verification (3)
Marnix Suilen, Thom Badings, Eline M. Bovy, David Parker, Nils Jansen
2024 J jnl
Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet.
CoRR
Marnix Suilen, Thom Badings, Eline M. Bovy, David Parker, Nils Jansen
2023 — conf
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions.
FMAS@iFM
Thom Badings, Nils Jansen, Licio Romao, Alessandro Abate
2023 J jnl
Decision-Making Under Uncertainty: Beyond Probabilities.
CoRR
Thom Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen
2023 J jnl
Decision-making under uncertainty: beyond probabilities.
Int. J. Softw. Tools Technol. Transf.
Thom Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen
2023 — conf
Efficient Sensitivity Analysis for Parametric Robust Markov Chains.
CAV (3)
Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen
2023 J jnl
Efficient Sensitivity Analysis for Parametric Robust Markov Chains.
CoRR
Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen
2023 — conf
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics.
QEST
Luke Rickard, Thom Badings, Licio Romao, Alessandro Abate
2023 A* conf
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty.
AAAI
Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
2023 J jnl
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions.
CoRR
Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
2023 J jnl
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions.
J. Artif. Intell. Res.
Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
2022 J jnl
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics.
CoRR
Luke Rickard, Thom Badings, Licio Romao, Nils Jansen, Alessandro Abate
2022 J jnl
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty.
CoRR
Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
2022 J jnl
Scenario-based verification of uncertain parametric MDPs.
Int. J. Softw. Tools Technol. Transf.
Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2021 J jnl
Correct-by-construction reach-avoid control of partially observable linear stochastic systems.
CoRR
Thom Badings, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
2021 J jnl
Scenario-Based Verification of Uncertain Parametric MDPs.
CoRR
Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu