The GJK Distance Algorithm: An Interval Version for Incremental Motions
a fast procedure for computing the distance between complex objects in three - dimensional space .