Probabilistic Model Checking of Ant-Based Positionless Swarming



Gainer, Paul, Dixon, Clare and Hustadt, Ullrich ORCID: 0000-0002-0455-0267
(2016) Probabilistic Model Checking of Ant-Based Positionless Swarming. .

WarningThere is a more recent version of this item available.
[img] Text
Probabilistic_Model_Checking_of_Ant_Based_Positionless_Swarming.pdf - Unspecified

Download (363kB)
Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 28 Apr 2016 10:04
Last Modified: 19 Jan 2023 07:37
DOI: 10.1007/978-3-319-40379-3_13
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3000969

Available Versions of this Item