Wijs, 2011. The HIVE Tool for Informed Swarm State Space Exploration 72.. https://doi.org/10.4204/eptcs.72.10