Optimal multi-robot path planning with temporal logic constraints

by Alphan Ulusoy, Stephen L. Smith, Xu Chu, Ding Calin, Belta Daniela Rus
Venue:in IEEE/RSJ International Conference on Intelligent Robots and Systems,, 2011