1

Verification of safety critical control policies using kernel methods
Multi-objective minimum time optimal control for low-thrust trajectory design