Distributing Co-safe LTL Specifications to Mobile Robots | Publicación