CoDE Publications CoDE Publications
IRIDIA Publications IRIDIA Publications
SMG Publications
WIT Publications
WIT Publications
SMG Publications
Home People Research Activities Publications Teaching Resources
By Class By Topic By Year Technical Reports
By Class By Topic By Year Technical Reports
login
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.
© ACM Press 2015 – http://dx.doi.org/10.1145/2700318

@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}
}

Updated: 2017-03-27