Property-driven design for robot swarms (2015)

by M Brambilla, A Brutschy, M Dorigo, M Birattari
Venue:ACM Transactions on Autonomous and Adaptive Systems