“…Motion planning based on high-level temporal specifications has become an important area of research. Several methods have been developed for single robots, e.g., [5,15,18,22]; and for multiple robots, e.g., [2,6,19]. The multi-robot path planning problem with linear temporal logic (LTL) specifications can be categorised into two areas depending on the final goal: (i) each robot has its own task, or (ii) all the robots act as a team trying to accomplish a global specification.…”