CRutoN: Automatic Verification of a Robotic Assistant's Behaviours



Gainer, P, Dixon, CL ORCID: 0000-0002-4610-9533, Dautenhahn, K, Fisher, M ORCID: 0000-0002-0875-3862, 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-09-18 - 2017-09-20, Torino, Italy.

[img] Text
paper_28.pdf - Accepted Version

Download (1MB)
Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 06 Jul 2017 13:10
Last Modified: 02 Mar 2022 08:16
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3008342