Formalizing and Guaranteeing* Human-Robot Interaction.

Hadas Kress-Gazit Kerstin Eder Guy Hoffman Henny Admoni Brenna Argall Rüdiger Ehlers Christoffer Heckman Nils Jansen Ross A. Knepper Jan Kretínský Shelly Levy-Tzedek Jamy Li Todd D. Murphey Laurel D. Riek Dorsa Sadigh

Published in: CoRR (2020)

Keyphrases