Efficient algorithms for globally optimal trajectories | IEEE Conference Publication | IEEE Xplore