Manuele Brambilla, Arne Brutschy, Marco Dorigo, Mauro Birattari. Property-Driven Design for Robot Swarms: A Design Method Based on Prescriptive Modeling and Model Checking. TAAS, 9(4), 2015. [doi]
@article{BrambillaBDB15,
title = {Property-Driven Design for Robot Swarms: A Design Method Based on Prescriptive Modeling and Model Checking},
author = {Manuele Brambilla and Arne Brutschy and Marco Dorigo and Mauro Birattari},
year = {2015},
doi = {10.1145/2700318},
url = {http://dx.doi.org/10.1145/2700318},
researchr = {https://researchr.org/publication/BrambillaBDB15},
cites = {0},
citedby = {0},
journal = {TAAS},
volume = {9},
number = {4},
}