Optimal Control

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