# Formal Verification for Human-Robot Interaction in Medical Environments

> Research article (Companion of the 2021 ACM/IEEE International Conference on Human-Robot Interaction, 2021) · cited 11× · AI/ML

**Wikidata**: [openalex:W3135728421](https://www.wikidata.org/wiki/openalex:W3135728421)  
**Source**: https://4ort.xyz/entity/formal-verification-for-human-robot-interaction-in-medical-environments