Choi, Benjamin J. Park, Chung Hyuk Park, Ju youn 2024-01-19T09:08:31Z 2024-01-19T09:08:31Z 2022-02-24 2021-03-08 https://pubs.kist.re.kr/handle/201004/113574 English ACM Formal Verification for Human-Robot Interaction in Medical Environments Conference 10.1145/3434074.3447155 1 HRI '21 Companion: Companion of the 2021 ACM/IEEE International Conference on Human-Robot Interaction HRI '21 Companion: Companion of the 2021 ACM/IEEE International Conference on Human-Robot Interaction US 2021-03-08 Companion of the 2021 ACM/IEEE International Conference on Human-Robot Interaction