DeepAI AI Chat
Log In Sign Up

Formalizing and Guaranteeing* Human-Robot Interaction

06/30/2020
by   Hadas Kress-Gazit, et al.
0

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.

READ FULL TEXT
12/17/2018

Animation Techniques in Human-Robot Interaction User Studies: a Systematic Literature Review

There are many different ways a robot can move in Human-Robot Interactio...
02/12/2022

How accurate models of human behavior are needed for human-robot interaction? For automated driving?

There are many examples of cases where access to improved models of huma...
02/01/2023

Shutter, the Robot Photographer: Leveraging Behavior Trees for Public, In-the-Wild Human-Robot Interactions

Deploying interactive systems in-the-wild requires adaptability to situa...
02/01/2021

Human-Robot Interaction: Applications

Recently, human-robot interaction (HRI) is an extensive research topic a...
04/02/2020

Enabling End-Users to Deploy Flexible Human-Robot Teams to Factories of the Future

Human-Robot Teams offer the flexibility needed for partial automation in...
11/24/2020

Model Elicitation through Direct Questioning

The future will be replete with scenarios where humans are robots will b...
04/24/2021

Adaptive Sampling: Algorithmic vs. Human Waypoint Selection

Robots are used for collecting samples from natural environments to crea...