[GDH16]
Paul Gainer, Clare Dixon and Ullrich Hustadt.
Probabilistic Model Checking of Ant-Based Positionless Swarming.
In Proc. Towards Autonomous Robotic Systems (TAROS'16).
2016.
[Uses probabilistic model checking and PRISM to study control algorithms for robot swarms.]
|
