Formalizing and guaranteeing human-robot interaction.
Hadas Kress-GazitKerstin EderGuy HoffmanHenny AdmoniBrenna ArgallRüdiger EhlersChristoffer HeckmanNils JansenRoss A. KnepperJan KretínskýShelly Levy-TzedekJamy LiTodd D. MurpheyLaurel D. RiekDorsa SadighPublished in: Commun. ACM (2021)