Nikolaus Vertovec

According to our database, Nikolaus Vertovec authored at least 10 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Finite sample learning of moving targets.

Nikolaus Vertovec, Kostas Margellos, Maria Prandini

Autom., 2026

2025

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation.

Nikolaus Vertovec, Frederik Baymler Mathiesen, Thom Badings, Luca Laurenti, Alessandro Abate

CoRR, November, 2025

Certified Neural Approximations of Nonlinear Dynamics.

Frederik Baymler Mathiesen, Nikolaus Vertovec, Francesco Fabiano, Luca Laurenti, Alessandro Abate

CoRR, May, 2025

SPoRt - Safe Policy Ratio: Certified Training and Deployment of Task Policies in Model-Free RL.

Jacques Cloete, Nikolaus Vertovec, Alessandro Abate

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets.

Prashant Solanki, Nikolaus Vertovec, Yannik Schnitzer, Jasper J. van Beers, Cornelis C. de Visser, Alessandro Abate

Proceedings of the 64th IEEE Conference on Decision and Control, 2025

2023

Multi-objective low-thrust spacecraft trajectory design using reachability analysis.

Nikolaus Vertovec, Sina Ober-Blöbaum, Kostas Margellos

Eur. J. Control, January, 2023

State Aggregation for Distributed Value Iteration in Dynamic Programming.

Nikolaus Vertovec, Kostas Margellos

IEEE Control. Syst. Lett., 2023

2022

Safety-Aware Hybrid Control of Airborne Wind Energy Systems.

Nikolaus Vertovec, Sina Ober-Blöbaum, Kostas Margellos

CoRR, 2022

Verification of safety critical control policies using kernel methods.

Nikolaus Vertovec, Sina Ober-Blöbaum, Kostas Margellos

Proceedings of the European Control Conference, 2022

2021

Multi-objective minimum time optimal control for low-thrust trajectory design.

Nikolaus Vertovec, Sina Ober-Blöbaum, Kostas Margellos

Proceedings of the 2021 European Control Conference, 2021