Reachability

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