A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents