CRutoN: Automatic Verification of a Robotic Assistant’s Behaviours

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Critical Systems
Subtitle of host publication	Formal Methods and Automated Verification
DOIs	https://doi.org/10.1007/978-3-319-67113-0_8
Publication status	Published - 2017

Access to Document

@inproceedings{c5150be1a5044dcaa6780977694258fd,

title = "CRutoN: Automatic Verification of a Robotic Assistant{\textquoteright}s Behaviours",

author = "P. Gainer and C. Dixon and K. Dautenhahn and M. Fisher and U. Hustadt and J. Saunders and Matt Webster",

year = "2017",

doi = "10.1007/978-3-319-67113-0\_8",

language = "English",

booktitle = "Critical Systems",

}

TY - GEN

T1 - CRutoN: Automatic Verification of a Robotic Assistant’s Behaviours

AU - Gainer, P.

AU - Dixon, C.

AU - Dautenhahn, K.

AU - Fisher, M.

AU - Hustadt, U.

AU - Saunders, J.

AU - Webster, Matt

PY - 2017

Y1 - 2017

UR - https://www.scopus.com/pages/publications/85029496657

U2 - 10.1007/978-3-319-67113-0_8

DO - 10.1007/978-3-319-67113-0_8

M3 - Conference contribution

BT - Critical Systems

ER -