Formal model of human erroneous behavior for safety analysis in collaborative robotics

•Model based safety assessment should replicate normative and erroneous human behavior.•Human errors could be the direct cause of hazardous situations.•A midway cognitive/formal model generates realistic and verifiable human replications.•A human model should be evaluated with real manufacturing test-cases.