Authoring and Verifying Human-Robot Interactions.

David Porfirio Allison Sauppé Aws Albarghouthi Bilge Mutlu

Published in: UIST (2018)

Keyphrases

human robot
human robot interaction
dialogue system
humanoid robot
action selection
robotic systems
e learning
authoring tool
human users
robot behavior
computer vision
three dimensional
model checking
genetic algorithm
simulated annealing
multi modal