Nikolaus Vertovec

According to our database, Nikolaus Vertovec authored at least 9 papers between 2021 and 2025.

Collaborative distances:

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

2025

Certified Neural Approximations of Nonlinear Dynamics.

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

CoRR, May, 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

CoRR, March, 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

2024

Finite sample learning of moving targets.

Nikolaus Vertovec, Kostas Margellos, Maria Prandini

CoRR, 2024

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