KIST Library Institutional Repository

Formal Verification for Human-Robot Interaction in Medical Environments

Authors

Choi, Benjamin J.; Park, Chung Hyuk; Park, Ju youn

Issue Date

2021-03-08

Publisher

ACM

Citation

HRI '21 Companion: Companion of the 2021 ACM/IEEE International Conference on Human-Robot Interaction

URI

https://pubs.kist.re.kr/handle/201004/113574

DOI

10.1145/3434074.3447155

Appears in Collections:

KIST Conference Paper > 2021

Files in This Item:

There are no files associated with this item.

Export

RIS (EndNote)

XLS (Excel)

XML