  Human-robot collaboration (HRC) is an emerging trend of robotics that
promotes the co-presence and cooperation of humans and robots in common
workspaces. Physical vicinity and interaction between humans and robots,
combined with the uncertainty of human behaviour, could lead to undesired
situations where humans are injured. Thus, safety is a priority for HRC
applications.
  Safety analysis via formal modelling and verification techniques could
considerably avoid dangerous consequences, but only if the models of HRC
systems are comprehensive and realistic, which requires reasonably realistic
models of human behaviour. This paper explores state-of-the-art solutions for
modelling human and discusses which ones are suitable for HRC scenarios.
