Page not found

Perhaps you were looking for one of these?

Latest

• Recent & Upcoming Talks
• Example Talk
• Publications
• Certifying Bimanual RRT Motion Plans in a Second
• Approximating Robot Configuration Spaces with few Convex Sets using Clique Covers of Visibility Graphs
• Projects
• Certifying Trajectories in Seconds
• Approximate Optimal Controller Synthesis for Cart-Poles and Quadrotors via Sums-of-Squares
• Certified Polyhedral Descriptions of Configuration Space
• Certified Polyhedral Decompositions of Collision-Free Configuration Space