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 Sun Sep 10 18:10:08 2023 BST.