TY - CONF T1 - Safety and Verification for a Mobile Guide Robot UR - https://eprints.whiterose.ac.uk/id/eprint/103957 PY - 2016/09/01 AU - Aitken JM AU - McAree O AU - Boorman L AU - Cameron D AU - Chua A AU - Collins EC AU - Fernando S AU - Law J AU - Martinez-Hernandez U ED - DO - DOI: 10.15445/02012015.108 Y2 - 2025/11/26 ER -