Abstract: This letter deals with the problem of path planning of multi-robot systems within the context of high-level tasks. Specifically, a task comprises logical requirements (conjunctions, ...