Multi-robot path planning for syntactically co-safe LTL specifications | Publicación