Enforcing biconnectivity in multi-robot systems