Formal Verification for Human-Robot Interaction in Medical Environments.
Benjamin J. ChoiJu-Youn ParkChung Hyuk ParkPublished in: HRI (Companion) (2021)
Keyphrases
- human robot interaction
- formal verification
- model checking
- service robots
- human robot
- gesture recognition
- model checker
- human centered
- bounded model checking
- automated verification
- robot programming
- humanoid robot
- symbolic model checking
- program slicing
- pointing gestures
- temporal logic
- neural network
- manipulation tasks
- natural interaction