@inproceedings{Gainer+Dixon+Hustadt@TAROS2016,
 author    = {Paul Gainer and
              Clare Dixon and
              Ullrich Hustadt},
 title     = {Probabilistic Model Checking of Ant-Based Positionless Swarming},
 editor    = {Lyuba Alboul and
              Dana D. Damian and
              Jonathan M. Aitken},
 booktitle = {Proceedings of the 17th Annual Conference Towards Autonomous Robotic Systems (TAROS 2016)},
 pages     = {127--138},
 series    = {Lecture Notes in Computer Science},
 volume    = {9716},
 publisher = {Springer},
 year      = {2016},
}