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 Knepper, Jan KÅ™etínský, Shelly Levy-Tzedek, Jamy Li, Todd Murphey, Laurel Riek, Dorsa Sadigh

Research output: Contribution to journalArticlepeer-review

20 Scopus citations


Robot capabilities are maturing across domains, from self-driving cars to bipeds to drones. The growing field of human-robot interaction (HRI) studies various aspects of this scenario, ranging from social norms to collaborative manipulation to human-robot teaming. Researchers in HRI have made great efforts in developing models, methods, and algorithms for robots acting with and around humans. Demonstrating trustworthiness in various forms of automation through formal guarantees has been the focus of validation, verification, and synthesis efforts. Formalizing HRI can enable the creation of trustworthy systems and, just as importantly, support explicit reasoning about the context of guarantees.

Original languageEnglish (US)
Pages (from-to)78-84
Number of pages7
JournalCommunications of the ACM
Issue number9
StatePublished - Sep 2021

ASJC Scopus subject areas

  • General Computer Science


Dive into the research topics of 'Formalizing and guaranteeing human-robot interaction'. Together they form a unique fingerprint.

Cite this