Property-driven design for swarm robotics.

Manuele Brambilla, Carlo Pinciroli, Mauro Birattari, Marco Dorigo

Browse the full AAMAS paper archive.