Provably Feasible Semi-Infinite Program Under Collision Constraints via Subdivision | IEEE Journals & Magazine | IEEE Xplore