Graph-based methods for the analysis of large-scale multiagent systems.