Verification the feasibility of SIGVerse for human-robot interaction simulation through following task.
Wenyu LiPeipei SongJeffrey Too Chuan TanChi ZhuFeng DuanPublished in: ROBIO (2015)
Keyphrases
- human robot interaction
- human robot
- robot programming
- human centered
- gesture recognition
- service robots
- pointing gestures
- mathematical model
- simulation model
- humanoid robot
- model checking
- qualitative spatial
- spatio temporal
- neural network
- formal verification
- human computer interaction
- hidden markov models
- manipulation tasks
- colored petri nets