Mathematical programming for Multi-Vehicle Motion Planning problems | IEEE Conference Publication | IEEE Xplore