TY - RPRT TI - Optimal Multi-Robot Path Planning with Temporal Logic Constraints AU - Alphan Ulusoy AU - Stephen L. Smith AU - Xu Chu Ding AU - Calin Belta AU - Daniela Rus PY - 2011 UR - https://arxiv.org/abs/1107.0062 ID - 1107.0062 ER -