Model-based safety analysis of human-robot interactions: The MIRAS walking assistance robot.
Jérémie GuiochetQuynh Anh Do HoangMohamed KaânicheDavid PowellPublished in: ICORR (2013)
Keyphrases
- human robot
- safety analysis
- humanoid robot
- human robot interaction
- nuclear power plant
- safety critical
- dialogue system
- fault model
- control system
- motion planning
- symbolic model checking
- multi modal
- robotic systems
- action selection
- artificial life
- human users
- reliability analysis
- gesture recognition
- robot behavior
- multi agent
- decision making
- knowledge acquisition