Probabilistic Model Checking of Ant-Based Positionless Swarming. Gainer, P., Dixon, C., & Hustadt, U. In Towards Autonomous Robotic Systems - 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26 - July 1, 2016, Proceedings, pages 127–138, 2016.
Probabilistic Model Checking of Ant-Based Positionless Swarming [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/taros/GainerDH16,
  author    = {Paul Gainer and
               Clare Dixon and
               Ullrich Hustadt},
  title     = {Probabilistic Model Checking of Ant-Based Positionless Swarming},
  booktitle = {Towards Autonomous Robotic Systems - 17th Annual Conference, {TAROS}
               2016, Sheffield, UK, June 26 - July 1, 2016, Proceedings},
  pages     = {127--138},
  year      = {2016},
  crossref  = {DBLP:conf/taros/2016},
  url       = {https://doi.org/10.1007/978-3-319-40379-3\_13},
  doi       = {10.1007/978-3-319-40379-3\_13},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/taros/GainerDH16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0