 | Up a level |
Number of items: 1.
Gainer, P, Dixon, C 
ORCID: 0000-0002-4610-9533 and Hustadt, U ORCID: 0000-0002-0455-0267
(2016)
Probabilistic Model Checking of Ant-Based Positionless Swarming.
In: Towards Autonomous Robotic Systems, 2016-6-28 - 2016-6-30, Sheffield.