Scholar

Nikolaus Vertovec

Google Scholar ID: GBX1MDcAAAAJ

University of Oxford

Optimal ControlNeural Network VerificationPhysics-informed MLSafe Reinforcement Learning

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

32

H-index

4

i10-index

0

Publications

12

Co-authors

0

Contact

No contact links provided.

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

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)