Guidelines for a Human-Robot Interaction Specification Language.
David PorfirioMark RobertsLaura M. HiattPublished in: RO-MAN (2023)
Keyphrases
- human robot interaction
- specification language
- programming language
- formal specification
- description language
- human centered
- gesture recognition
- human robot
- robot programming
- service robots
- software environment
- humanoid robot
- pointing gestures
- requirements specification
- human computer interaction
- human interaction
- fine grained
- multi agent
- manipulation tasks
- case study
- artificial intelligence
- database