Property-driven design for swarm robotics

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]

Authors

Manuele Brambilla

This author has not been identified. Look up 'Manuele Brambilla' in Google

Carlo Pinciroli

This author has not been identified. Look up 'Carlo Pinciroli' in Google

Mauro Birattari

This author has not been identified. Look up 'Mauro Birattari' in Google

Marco Dorigo

This author has not been identified. Look up 'Marco Dorigo' in Google