Formalizing and Guaranteeing Human-Robot Interaction-MedSci.cn

Formalizing and Guaranteeing Human-Robot Interaction

Kress-Gazit, H; Eder, K; Hoffman, G; Admoni, H; Argall, B; Ehlers, R; Heckman, C; Jansen, N; Knepper, R; Kretinsky, J; Levy-Tzedek, S; Li, J; Murphey, T; Riek, L; Sadigh, D

Kress-Gazit, H (corresponding author), Cornell Univ, Sibley Sch Mech & Aerosp Engn, Ithaca, NY 14853 USA.