Thom Badings

Identifiers

• name variant Thom Badings 0.60 · backfill

Papers (3)

1. Robust Shielding for Safe Reinforcement Learning cs.AI · 2026 · author #2
2. Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization eess.SY · 2026 · author #2
3. Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation cs.LG · 2025 · author #3

Mentions

• 2606.00270 #2 · arxiv_oai · confidence 0.70 Thom Badings

Frequent Coauthors

• Alessandro Abate 3 shared papers
• Luca Laurenti 2 shared papers
• Alessandro Riccardi 1 shared papers
• Bart De Schutter 1 shared papers
• Edwin Hamel-De le Court 1 shared papers
• Francesco Belardinelli 1 shared papers
• Francesco Fabiano 1 shared papers
• Frederik Baymler Mathiesen 1 shared papers
• Nikolaus Vertovec 1 shared papers