Graph-based methods for the analysis of large-scale multiagent systems. - Wilbur Peng; William Krueger; Alexander Grushin; Patrick Carlos; Vikram Manikonda; Michel Santos (AAMAS (1), 2009)