TY  - RPRT
TI  - Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot Interactions
AU  - Rachel Schlossman
AU  - Minkyu Kim
AU  - Ufuk Topcu
AU  - Luis Sentis
PY  - 2019
UR  - https://arxiv.org/abs/1903.01350
ID  - 1903.01350
ER  -