@article{brambilla2015property,
  title={Property-driven design for robot swarms: A design method based on prescriptive modeling and model checking},
  author={Brambilla, Manuele and Brutschy, Arne and Dorigo, Marco and Birattari, Mauro},
  journal={ACM Transactions on Autonomous and Adaptive Systems (TAAS)},
  volume={9},
  number={4},
  pages={17},
  year={2015},
  publisher={ACM}
}

{"_id":"ZonARWDq7rLD2fqki","bibbaseid":"brambilla-brutschy-dorigo-birattari-propertydrivendesignforrobotswarmsadesignmethodbasedonprescriptivemodelingandmodelchecking-2015","downloads":0,"creationDate":"2017-01-24T10:04:54.203Z","title":"Property-driven design for robot swarms: A design method based on prescriptive modeling and model checking","author_short":["Brambilla, M.","Brutschy, A.","Dorigo, M.","Birattari, M."],"year":2015,"bibtype":"article","biburl":"iridia.ulb.ac.be/~mbrambilla/my-pub.bib","bibdata":{"bibtype":"article","type":"article","title":"Property-driven design for robot swarms: A design method based on prescriptive modeling and model checking","author":[{"propositions":[],"lastnames":["Brambilla"],"firstnames":["Manuele"],"suffixes":[]},{"propositions":[],"lastnames":["Brutschy"],"firstnames":["Arne"],"suffixes":[]},{"propositions":[],"lastnames":["Dorigo"],"firstnames":["Marco"],"suffixes":[]},{"propositions":[],"lastnames":["Birattari"],"firstnames":["Mauro"],"suffixes":[]}],"journal":"ACM Transactions on Autonomous and Adaptive Systems (TAAS)","volume":"9","number":"4","pages":"17","year":"2015","publisher":"ACM","bibtex":"@article{brambilla2015property,\n title={Property-driven design for robot swarms: A design method based on prescriptive modeling and model checking},\n author={Brambilla, Manuele and Brutschy, Arne and Dorigo, Marco and Birattari, Mauro},\n journal={ACM Transactions on Autonomous and Adaptive Systems (TAAS)},\n volume={9},\n number={4},\n pages={17},\n year={2015},\n publisher={ACM}\n}\n\n","author_short":["Brambilla, M.","Brutschy, A.","Dorigo, M.","Birattari, M."],"key":"brambilla2015property","id":"brambilla2015property","bibbaseid":"brambilla-brutschy-dorigo-birattari-propertydrivendesignforrobotswarmsadesignmethodbasedonprescriptivemodelingandmodelchecking-2015","role":"author","urls":{},"metadata":{"authorlinks":{"brambilla, m":"https://iridia.ulb.ac.be/"}}},"search_terms":["property","driven","design","robot","swarms","design","method","based","prescriptive","modeling","model","checking","brambilla","brutschy","dorigo","birattari"],"keywords":[],"authorIDs":["5458892ab43425b7720000d9","5e10765571c264df01000078","5e26da4242065ede01000068","5e2d78d3556d50df01000065","9mJiSpyoeggATHeTX","JwKZL7Jr3ppoZnfdw","icFPnHzHmXrgF8PDs","wgdTG8PWZvuGFzGPW"],"dataSources":["EPKgmShLEBiHsMpCX","7Wv4HihB2qzCLDpZh"]}