Towards a Formal Verification Methodology for Collective Robotic Systems. Gjondrekaj, E., Loreti, M., Pugliese, R., Tiezzi, F., Pinciroli, C., Brambilla, M., Birattari, M., & Dorigo, M. In Formal Methods and Software Engineering, volume 7635, of Lecture Notes in Computer Science, pages 54-70. Springer, Berlin, Heidelberg, 2012.
bibtex   
@incollection{ Gjondrekaj2012:tfvmcrs,
  title = {Towards a Formal Verification Methodology for Collective Robotic Systems},
  booktitle={Formal Methods and Software Engineering},
  author = {Edmond Gjondrekaj and Michele Loreti and Rosario Pugliese and Francesco Tiezzi and Carlo Pinciroli and Manuele Brambilla and Mauro Birattari and Marco Dorigo},
  year = {2012},
  volume={7635},
  series={Lecture Notes in Computer Science},
  publisher={Springer, Berlin, Heidelberg},
  pages={54-70}
}

Downloads: 0