Formal Verification for Human-Robot Interaction in Medical Environments.

Benjamin J. Choi, Ju-Youn Park, Chung Hyuk Park

Browse the full HRI paper archive.