Thom Badings
4 papers · 2023–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
π
Conference Polyglot Β· Bronze
π
Interdisciplinary Bridge Β· Silver
πΊοΈ
Taxonomy Completionist
(11)
π
Renaissance Researcher
(5)
π
Trend Setter
Top co-authors
Research topics
Keywords
interval markov decision process
(2)
epistemic uncertainty
(1)
formal methods
(1)
markov decision process
(1)
value iteration
(1)
policy selection
(1)
stochastic system
(1)
neural network verification
(1)
robust control
(1)
policy synthesis
(1)
worst-case guarantee
(1)
control barrier function
(1)
controller synthesis
(1)
probably approximately correct
(1)
safety certification
(1)
linear bound propagation
(1)
finite-state abstraction
(1)
robust analysis
(1)
robust optimization
(1)
mccormick relaxation
(1)
Papers
Best-Effort Policies for Robust Markov Decision Processes
AAAI 2026
Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
L4DC 2026
Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
L4DC 2025
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty
AAAI 2023