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