Geometry

Formally verifying the safety of complicated trajectories at scale.

Provable correct descriptions of Configuration Space for collision-free motion planning