Thom Badings
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Best-Effort Policies for Robust Markov Decision Processes. | Alessandro Abate, Thom Badings, Giuseppe De Giacomo, Francesco Fabiano |
| 2025 | CAV | Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates. | Thom Badings, Wietze Koops, Sebastian Junges, Nils Jansen |
| 2024 | TACAS | CTMCs with Imprecisely Timed Observations. | Thom Badings, Matthias Volk, Sebastian Junges, Marille Stoelinga, Nils Jansen |
| 2023 | AAAI | Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. | Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen |
| 2023 | CAV | Efficient Sensitivity Analysis for Parametric Robust Markov Chains. | Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen |