Formalizing and Guaranteeing* Human-Robot Interaction

Understand

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.