Ziyue Ma

Path Planning of Multi-Robot Systems With Boolean Specifications Based on Simulated Annealing

In this letter, we address the path planning of multi-robot systems (i.e., a team of identical mobile robots) with a global high-level specification that is given as a Boolean formula over some regions of the environment. The task is composed of logical requirements on the trajectories and the final