State Space Exploration of Spatially Organized Populations of Agents. - Antoine Dautriche; Jean-Louis Giavitto; Hanna Klaudel; Franck Pommereau (SASO Workshops, 2011)