Graph-based verification and misbehavior detection in multi-agent networks. - Phillip Lee; Omar Saleh; Basel Alomair; Linda Bushnell; Radha Poovendran (HiCoNS, 2014)