TY - RPRT TI - How to Formally Model Human in Collaborative Robotics AU - Mehrnoosh Askarpour PY - 2020 DO - 10.4204/eptcs.329.1 UR - https://arxiv.org/abs/2012.01647 ID - 2012.01647 ER -