SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration.
Mehrnoosh AskarpourDino MandrioliMatteo RossiFederico VicentiniPublished in: SAFECOMP (2016)
Keyphrases
- symbolic model checking
- formal verification
- safety analysis
- human robot
- model checking
- human robot interaction
- model checker
- dialogue system
- humanoid robot
- action selection
- robotic systems
- human users
- partial observability
- temporal logic
- nuclear power plant
- artificial life
- symbolic representation
- safety critical
- real time
- intelligent agents
- domain specific
- fault model
- control system