 |
M. Brambilla, A. Brutschy, M. Dorigo, and M. Birattari. Property-driven design for robot swarms: A design method based on prescriptive modeling and model checking. ACM Transactions on Autonomous and Adaptive Systems, 9(4):17:1-17:28, 2015.
@article{BraBruDorBir2015:acmtaas,
author = {Manuele Brambilla and Arne Brutschy and Marco Dorigo and
Mauro Birattari},
title = {Property-driven design for robot swarms: A design method
based on prescriptive modeling and model checking},
year = {2015},
journal = {ACM Transactions on Autonomous and Adaptive Systems},
volume = {9},
number = {4},
pages = {17:1--17:28},
doi = {http://dx.doi.org/10.1145/2700318}
}
|
 |