TY - RPRT TI - Computing the $k$-resilience of a Synchronized Multi-Robot System AU - Sergey Bereg AU - Luis-Evaristo Caraballo AU - José-Miguel Díaz-Báñez AU - Mario A. Lopez PY - 2017 UR - https://arxiv.org/abs/1707.07083 ID - 1707.07083 ER -