Formal Verification of Human-Robot Interaction in Healthcare Scenarios.
Livia LestingiMehrnoosh AskarpourMarcello M. BersaniMatteo RossiPublished in: SEFM (2020)
Keyphrases
- human robot interaction
- formal verification
- model checking
- human robot
- model checker
- gesture recognition
- automated verification
- human centered
- bounded model checking
- humanoid robot
- symbolic model checking
- robot programming
- health care
- program slicing
- temporal logic
- pointing gestures
- service robots
- neural network
- information systems
- formal methods
- incremental learning
- human computer interaction
- spatio temporal
- feature space