Scholar
Nikolaus Vertovec
Google Scholar ID: GBX1MDcAAAAJ
University of Oxford
Optimal Control
Neural Network Verification
Physics-informed ML
Safe Reinforcement Learning
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
32
H-index
4
i10-index
0
Publications
12
Co-authors
0
Publications
5 items
Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
2025
Cited
0
Certified Neural Approximations of Nonlinear Dynamics
2025
Cited
0
SPoRt -- Safe Policy Ratio: Certified Training and Deployment of Task Policies in Model-Free RL
2025
Cited
0
Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets
2025
Cited
0
Finite sample learning of moving targets
arXiv.org · 2024
Cited
1
