The GJK Distance Algorithm: An Interval Version for Incremental Motions
Accurate and Fast Proximity Queries Between Polyhedra Using Convex Surface Decomposition