Multi-robot Path Planning with Boolean Specifications and Collision Avoidance | Publicación