Provable correct descriptions of Configuration Space for collision-free motion planning
How do various structure effect the efficiency of solving optimization problems and structure the solution?
Resiliency of control cystems and learning algorithms via counter-factual optimization
Guaranteed performance for heuristic strategies for a known, hard problem.
