DeepAI AI Chat
Log In Sign Up

Formalizing and Guaranteeing* Human-Robot Interaction

by   Hadas Kress-Gazit, et al.

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.


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...

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...

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...

Human-Robot Interaction: Applications

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

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...

Model Elicitation through Direct Questioning

The future will be replete with scenarios where humans are robots will b...

Adaptive Sampling: Algorithmic vs. Human Waypoint Selection

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