Efficient algorithms for globally optimal trajectories | IEEE Journals & Magazine | IEEE Xplore