Manuele Brambilla, Carlo Pinciroli, Mauro Birattari, Marco Dorigo. Property-driven design for swarm robotics. In Wiebe van der Hoek, Lin Padgham, Vincent Conitzer, Michael Winikoff, editors, International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes). pages 139-146, IFAAMAS, 2012. [doi]
Abstract is missing.