Distributed Path Planning of Mobile Robots with LTL Specifications | Publicación