Coordinating Multiple Double Integrator Robots on a Roadmap: Convexity and Global Optimality | IEEE Conference Publication | IEEE Xplore