1

SPoRt -- Safe Policy Ratio
Certified Approximate Reachability (CARe)
Verification of safety critical control policies using kernel methods
Multi-objective minimum time optimal control for low-thrust trajectory design