Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081).
Rachid AlamiKerstin I. EderGuy HoffmanHadas Kress-GazitPublished in: Dagstuhl Reports (2019)
Keyphrases
- human robot interaction
- gesture recognition
- human robot
- human centered
- model checking
- robot programming
- program synthesis
- service robots
- humanoid robot
- pointing gestures
- human computer interaction
- face verification
- viewpoint
- image sequences
- decision making
- verification method
- qualitative spatial
- texture synthesis
- relational databases
- natural interaction
- computer vision
- neural network