Nikolaus Vertovec

17 papers A* 1Journal 13Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Finite sample learning of moving targets. Autom. Nikolaus Vertovec, Kostas Margellos, Maria Prandini
2025	—	`conf`	Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets. CDC Prashant Solanki, Nikolaus Vertovec, Yannik Schnitzer, Jasper J. van Beers, Cornelis C. de Visser, Alessandro Abate
2025	J	`jnl`	Certified Approximate Reachability (CARe): Formal Error Bounds on Deep Learning of Reachable Sets. CoRR Prashant Solanki, Nikolaus Vertovec, Yannik Schnitzer, Jasper J. van Beers, Cornelis C. de Visser, Alessandro Abate
2025	J	`jnl`	Certified Neural Approximations of Nonlinear Dynamics. CoRR Frederik Baymler Mathiesen, Nikolaus Vertovec, Francesco Fabiano, Luca Laurenti, Alessandro Abate
2025	A*	`conf`	SPoRt - Safe Policy Ratio: Certified Training and Deployment of Task Policies in Model-Free RL. IJCAI Jacques Cloete, Nikolaus Vertovec, Alessandro Abate
2025	J	`jnl`	SPoRt - Safe Policy Ratio: Certified Training and Deployment of Task Policies in Model-Free RL. CoRR Jacques Cloete, Nikolaus Vertovec, Alessandro Abate
2025	J	`jnl`	Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation. CoRR Nikolaus Vertovec, Frederik Baymler Mathiesen, Thom Badings, Luca Laurenti, Alessandro Abate
2024	J	`jnl`	Finite sample learning of moving targets. CoRR Nikolaus Vertovec, Kostas Margellos, Maria Prandini
2023	J	`jnl`	Multi-objective low-thrust spacecraft trajectory design using reachability analysis. Eur. J. Control Nikolaus Vertovec, Sina Ober-Blöbaum, Kostas Margellos
2023	J	`jnl`	State Aggregation for Distributed Value Iteration in Dynamic Programming. CoRR Nikolaus Vertovec, Kostas Margellos
2023	J	`jnl`	State Aggregation for Distributed Value Iteration in Dynamic Programming. IEEE Control. Syst. Lett. Nikolaus Vertovec, Kostas Margellos
2022	J	`jnl`	Multi-objective low-thrust spacecraft trajectory design using reachability analysis. CoRR Nikolaus Vertovec, Sina Ober-Blöbaum, Kostas Margellos
2022	J	`jnl`	Safety-Aware Hybrid Control of Airborne Wind Energy Systems. CoRR Nikolaus Vertovec, Sina Ober-Blöbaum, Kostas Margellos
2022	—	`conf`	Verification of safety critical control policies using kernel methods. ECC Nikolaus Vertovec, Sina Ober-Blöbaum, Kostas Margellos
2022	J	`jnl`	Verification of safety critical control policies using kernel methods. CoRR Nikolaus Vertovec, Sina Ober-Blöbaum, Kostas Margellos
2021	—	`conf`	Multi-objective minimum time optimal control for low-thrust trajectory design. ECC Nikolaus Vertovec, Sina Ober-Blöbaum, Kostas Margellos
2021	J	`jnl`	Multi-objective minimum time optimal control for low-thrust trajectory design. CoRR Nikolaus Vertovec, Sina Ober-Blöbaum, Kostas Margellos