@inproceedings{DBLP:conf/taros/GainerDH16,
  author       = {Paul Gainer and
                  Clare Dixon and
                  Ullrich Hustadt},
  editor       = {Lyuba Alboul and
                  Dana D. Damian and
                  Jonathan M. Aitken},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {9716},
  pages        = {127--138},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40379-3\_13},
  doi          = {10.1007/978-3-319-40379-3\_13},
  timestamp    = {Mon, 03 Jan 2022 22:19:33 +0100},
  biburl       = {https://dblp.org/rec/conf/taros/GainerDH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"zSTA2YsSmEbfyztEa","bibbaseid":"gainer-dixon-hustadt-probabilisticmodelcheckingofantbasedpositionlessswarming-2016","downloads":0,"creationDate":"2017-02-27T14:01:07.168Z","title":"Probabilistic Model Checking of Ant-Based Positionless Swarming","author_short":["Gainer, P.","Dixon, C.","Hustadt, U."],"year":2016,"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Paul"],"propositions":[],"lastnames":["Gainer"],"suffixes":[]},{"firstnames":["Clare"],"propositions":[],"lastnames":["Dixon"],"suffixes":[]},{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]}],"editor":[{"firstnames":["Lyuba"],"propositions":[],"lastnames":["Alboul"],"suffixes":[]},{"firstnames":["Dana","D."],"propositions":[],"lastnames":["Damian"],"suffixes":[]},{"firstnames":["Jonathan","M."],"propositions":[],"lastnames":["Aitken"],"suffixes":[]}],"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","series":"Lecture Notes in Computer Science","volume":"9716","pages":"127–138","publisher":"Springer","year":"2016","url":"https://doi.org/10.1007/978-3-319-40379-3\\_13","doi":"10.1007/978-3-319-40379-3_13","timestamp":"Mon, 03 Jan 2022 22:19:33 +0100","biburl":"https://dblp.org/rec/conf/taros/GainerDH16.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/taros/GainerDH16,\n author = {Paul Gainer and\n Clare Dixon and\n Ullrich Hustadt},\n editor = {Lyuba Alboul and\n Dana D. Damian and\n Jonathan M. Aitken},\n title = {Probabilistic Model Checking of Ant-Based Positionless Swarming},\n booktitle = {Towards Autonomous Robotic Systems - 17th Annual Conference, {TAROS}\n 2016, Sheffield, UK, June 26 - July 1, 2016, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {9716},\n pages = {127--138},\n publisher = {Springer},\n year = {2016},\n url = {https://doi.org/10.1007/978-3-319-40379-3\\_13},\n doi = {10.1007/978-3-319-40379-3\\_13},\n timestamp = {Mon, 03 Jan 2022 22:19:33 +0100},\n biburl = {https://dblp.org/rec/conf/taros/GainerDH16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Gainer, P.","Dixon, C.","Hustadt, U."],"editor_short":["Alboul, L.","Damian, D. D.","Aitken, J. M."],"key":"DBLP:conf/taros/GainerDH16","id":"DBLP:conf/taros/GainerDH16","bibbaseid":"gainer-dixon-hustadt-probabilisticmodelcheckingofantbasedpositionlessswarming-2016","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-40379-3\\_13"},"metadata":{"authorlinks":{"hustadt, u":"https://cgi.csc.liv.ac.uk/~ullrich/publications/"}},"downloads":0},"search_terms":["probabilistic","model","checking","ant","based","positionless","swarming","gainer","dixon","hustadt"],"keywords":[],"authorIDs":["545916c7b43425b77200033b","ErAb3uLyYwrs6vssX","FQ4uzxMf3b4zvaCis","KyM3A343Bq5hxAxKh","MsRDpvLKQPWxeMmSJ","XXPkJ4rgGHR7KkLPw","aQLR39RKeqjQcByRb","d5yicdDoFcdA9pdMk","f9MrYRy6KdAWhWMGG","xTTWW6j6J8SgLicLY","ztqM8or8pxCb8JZ2m"],"dataSources":["77JvGFZQteoFsRiyX","sf65xF3tXwz6TBuoQ","WhiGijHmCtTSdLaAj","iqRbmbCgpDeaBjend","FgmYE34DdKWThg2dR"]}