Formalizing and Guaranteeing* Human-Robot Interaction
release_5mbki4a5hrba5ioum3x4wwueve
by
Hadas Kress-Gazit, Kerstin Eder, Guy Hoffman, Henny Admoni, Brenna Argall, Ruediger Ehlers, Christoffer Heckman, Nils Jansen, Ross Knepper, Jan Křetínský, Shelly Levy-Tzedek, Jamy Li (+3 others)
2020
Abstract
Robot capabilities are maturing across domains, from self-driving cars, to
bipeds and drones. As a result, robots will soon no longer be confined to
safety-controlled industrial settings; instead, they will directly interact
with the general public. The growing field of Human-Robot Interaction (HRI)
studies various aspects of this scenario - from social norms to joint action to
human-robot teams and more. Researchers in HRI have made great strides in
developing models, methods, and algorithms for robots acting with and around
humans, but these "computational HRI" models and algorithms generally do not
come with formal guarantees and constraints on their operation. To enable
human-interactive robots to move from the lab to real-world deployments, we
must address this gap.
This article provides an overview of verification, validation and synthesis
techniques used to create demonstrably trustworthy systems, describes several
HRI domains that could benefit from such techniques, and provides a roadmap for
the challenges and the research needed to create formalized and guaranteed
human-robot interaction.
In text/plain
format
Archived Files and Locations
application/pdf 406.9 kB
file_3lnnlngdbvfxxjfnuw5lrkna6u
|
arxiv.org (repository) web.archive.org (webarchive) |
2006.16732v1
access all versions, variants, and formats of this works (eg, pre-prints)