1

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
Verification of safety critical control policies using kernel methods
Nikolaus Vertovec, Sina Ober-Blöbaum, Kostas Margellos
Multi-objective minimum time optimal control for low-thrust trajectory design
Nikolaus Vertovec, Sina Ober-Blöbaum, Kostas Margellos
Multi-objective minimum time optimal control for low-thrust trajectory design