TY  - RPRT
TI  - Formalizing and Guaranteeing* Human-Robot Interaction
AU  - Hadas Kress-Gazit
AU  - Kerstin Eder
AU  - Guy Hoffman
AU  - Henny Admoni
AU  - Brenna Argall
AU  - Ruediger Ehlers
AU  - Christoffer Heckman
AU  - Nils Jansen
AU  - Ross Knepper
AU  - Jan Křetínský
AU  - Shelly Levy-Tzedek
AU  - Jamy Li
AU  - Todd Murphey
AU  - Laurel Riek
AU  - Dorsa Sadigh
PY  - 2020
DO  - 10.1145/3433637
UR  - https://arxiv.org/abs/2006.16732
ID  - 2006.16732
ER  -