Probabilistic Model Checking of Ant-Based Positionless Swarming



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-06-28 - 2016-06-30, Sheffield.

This is the latest version of this item.

[img] Text
Probabilistic_Model_Checking_of_Ant_Based_Positionless_Swarming.pdf - Accepted Version

Download (363kB)
Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 25 Jan 2019 09:58
Last Modified: 14 Apr 2022 06:10
URI: https://livrepository.liverpool.ac.uk/id/eprint/3030815

Available Versions of this Item