id: 70394345 dt: a an: 70394345 au: Ulusoy, Alphan; Smith, Stephen L.; Ding, Xu Chu; Belta, Calin; Rus, Daniela ti: Optimal multi-robot path planning with temporal logic constraints so: IROS, 3087-3092 (2011). py: 2011 pu: la: EN cc: ut: ci: li: doi:10.1109/IROS.2011.6094884