Computing the k-resilience of a synchronized multi-robot system | Publicación