Formal Verification for Human-Robot Interaction in Medical Environments - Choi, Benjamin J.; Park, Chung Hyuk; Park, Ju youn (Companion of the 2021 ACM/IEEE International Conference on Human-Robot Interaction, 2021)