Thom Badings

Identifiers

No identifiers captured yet.

Papers (2)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Alessandro Abate 2 shared papers
• Luca Laurenti 2 shared papers
• Alessandro Riccardi 1 shared papers
• Bart De Schutter 1 shared papers
• Frederik Baymler Mathiesen 1 shared papers
• Nikolaus Vertovec 1 shared papers