Browse by People

Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
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.

This list was generated on Mon Apr 8 08:21:05 2024 BST.