An Efficient Solution to Optimal Motion Planning With Provable Safety and Convergence | IEEE Journals & Magazine | IEEE Xplore