Scholar
Thom Badings
Google Scholar ID: 7K6uKqoAAAAJ
Postdoctoral researcher, University of Oxford
Citations & Impact
Citations
286
H-index
9
i10-index
9
Publications
20
Co-authors
17
list available
Publications
Resume (English only)
Academic Achievements
- Invited speaker at GT-Vérif 2025 annual meeting (Paris, Nov 2025) on control design for uncertain stochastic systems with formal guarantees.
- Two papers accepted at CDC 2025: one on data-driven abstraction/synthesis for stochastic systems with unknown dynamics; another on probabilistic alternating simulations for policy synthesis.
- Paper “Learning-Based Verification of Stochastic Dynamical Systems with Neural Network Policies” accepted at CAV 2025.
- Awarded PhD cum laude in March 2025; paper “Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems” accepted at TACAS 2024.
- Paper “Integrating Expert and Physics Knowledge for Modeling Heat Load in District Heating Systems” published in IEEE Transactions on Industrial Informatics (2024).
- Paper on stability-based abstraction framework for reach-avoid control presented at ECC 2024 (Stockholm).
