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]](https://livrepository.liverpool.ac.uk/style/images/fileicons/text.png) |
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 |
Share
Share
Share
CORE (COnnecting REpositories)