Mathematical modeling and analysis of collective behavior of multi-agent systems is an important tool that will enable researchers to study even very large systems, validate agent models and get insight into multi-agent system design. Biologists, for example, can compare the model’s predictions to the observed collective behavior of simple organisms, such as social insects, to understand indivi...