@Incollection{Brambilla:AAMAS2012,
   joint-pub = {false},
   status = {public},
   link = {http://www.ifaamas.org/Proceedings/aamas2012/papers/4A_1.pdf},
   task = {T7.2},
   publisher = {International Foundation for Autonomous Agents and Multiagent Systems (http://www.ifaamas.org/Proceedings/aamas2012)},
   booktitle = {Proceedings of 11th International Conference on Autonomous Agents and Multiagent Systems ({AAMAS 2012})},
   year = {2012},
   invited = {no},
   timestamp = {2012.10.31},
   main = {yes},
   accessible = {true},
   title = {{Property-driven Design for Swarm Robotics}},
   editor = {Vincent Conitzer and Michael Winikoff and Lin Padgham and Wiebe van der Hoek},
   author = {Manuele Brambilla and Carlo Pinciroli and Mauro Birattari and Marco Dorigo},
   period = {year2},
   owner = {kroiss},
   ascens_ref = {true},
   partner = {ULB},
   wp = {wp7},
   pages = {139--146}
}