Probabilistic path planning for multiple robots with subdimensional expansion | IEEE Conference Publication | IEEE Xplore