Formalizing the impact of diversity on performance in a heterogeneous swarm of robots | IEEE Conference Publication | IEEE Xplore