Certifying Trajectories in Seconds
Formally verifying the safety of complicated trajectories at scale.
•
2 min read
Certified Polyhedral Descriptions of Configuration Space
Provable correct descriptions of Configuration Space for collision-free motion planning
•
2 min read
Structured Optimization
How do various structure effect the efficiency of solving optimization problems and structure the solution?
•
1 min read
Resilient Behavior Through Optimization
Resiliency of control systems and learning algorithms via counter-factual optimization
•
1 min read
Scheduling with Constraints
Guaranteed performance of heuristic strategies for a known, hard problem.
•
1 min read