TY - RPRT TI - Motion and Cooperative Transportation Planning for Multi-Agent Systems under Temporal Logic Formulas AU - Christos K. Verginis AU - Dimos V. Dimarogonas PY - 2018 UR - https://arxiv.org/abs/1803.01579 ID - 1803.01579 ER -