Nikolaus Vertovec
Nikolaus Vertovec
Home
Publications
Contact
CV
Light
Dark
Automatic
3
Certified Neural Approximations of Nonlinear Dynamics
Frederik Baymler Mathiesen
,
Nikolaus Vertovec
,
Francesco Fabiano
,
Luca Laurenti
,
Alessandro Abate
SPoRt -- Safe Policy Ratio
Jacques Cloete
,
Nikolaus Vertovec
,
Alessandro Abate
Certified Approximate Reachability (CARe)
Prashant Solanki
,
Nikolaus Vertovec
,
Yannik Schnitzer
,
Jasper Van Beers
,
Coen de Visser
,
Alessandro Abate
Finite sample learning of moving targets
Nikolaus Vertovec
,
Kostas Margellos
,
Maria Prandini
Cite
×