1: \begin{definition}[Malicious behaviors]\label{malicious_definition}

2:   A set of misbehaving agents $K$ is malicious if its input $u_K(t)$

3:   is unidentifiable. It is faulty otherwise.

4:   % Let $V$ be the set of agents, let $K\subseteq V$ be a set of

5:   % misbehaving agents, and let $u_K$ be their input. The set $K$ is

6:   % malicious if $u_K$ is unidentifiable.

7:   % Let $V$ be the set of agents, let $K\subseteq V$ be a set of

8:   % misbehaving agents, and let $u_K$ be their input. The set $K$ is

9:   % malicious if $u_K$ belongs to the family of inputs described in

10:   % Theorem \ref{behaviors}.

11: \end{definition}

12: