@inproceedings{inproceedings, title = {{Safety and Verification for a Mobile Guide Robot}}, publisher = {{USES}}, url = {{http://dx.doi.org/10.15445/02012015.108 }}, year = {{2016}}, month = {{9}}, author = {{Aitken J}}, doi = {{10.15445/02012015.108}}, journal = {{USES}}, note = {{Accessed on 2024/12/22}}}