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