TY - CONF T1 - Safety and Verification for a Mobile Guide Robot JO - USES PY - 2016/09/01 AU - Aitken J ED - DO - DOI: 10.15445/02012015.108 PB - USES Y2 - 2024/09/19 ER -