Paul Gainer, Clare Dixon, Ullrich Hustadt. Probabilistic Model Checking of Ant-Based Positionless Swarming. In Lyuba Alboul, Dana D. Damian, Jonathan M. M. Aitken, editors, Towards Autonomous Robotic Systems - 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26 - July 1, 2016, Proceedings. Volume 9716 of Lecture Notes in Computer Science, pages 127-138, Springer, 2016. [doi]
Abstract is missing.