Up a level |
Gainer, P, Dixon, CL ORCID: 0000-0002-4610-9533, Dautenhahn, K, Fisher, M, Hustadt, U ORCID: 0000-0002-0455-0267, Saunders, J and Webster, M ORCID: 0000-0002-8817-6881
(2017)
CRutoN: Automatic Verification of a Robotic Assistant's Behaviours.
In: FMICS/AVOCS 2017, 2017-9-18 - 2017-9-20, Torino, Italy.
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.