Benjamin J. Choi, Ju-Youn Park, Chung Hyuk Park. Formal Verification for Human-Robot Interaction in Medical Environments. In Cindy L. Bethel, Ana Paiva, Elizabeth Broadbent, David Feil-Seifer, Daniel Szafir, editors, Companion of the 2021 ACM/IEEE International Conference on Human-Robot Interaction, HRI 2021, Boulder, CO, USA, March 8-11, 2021. pages 181-185, ACM, 2021. [doi]
@inproceedings{ChoiPP21,
title = {Formal Verification for Human-Robot Interaction in Medical Environments},
author = {Benjamin J. Choi and Ju-Youn Park and Chung Hyuk Park},
year = {2021},
doi = {10.1145/3434074.3447155},
url = {https://doi.org/10.1145/3434074.3447155},
researchr = {https://researchr.org/publication/ChoiPP21},
cites = {0},
citedby = {0},
pages = {181-185},
booktitle = {Companion of the 2021 ACM/IEEE International Conference on Human-Robot Interaction, HRI 2021, Boulder, CO, USA, March 8-11, 2021},
editor = {Cindy L. Bethel and Ana Paiva and Elizabeth Broadbent and David Feil-Seifer and Daniel Szafir},
publisher = {ACM},
isbn = {978-1-4503-8290-8},
}