Optimal task allocation for distributed co-safe LTL specifications | Publicación