@misc{indiciae38ee3690f44b, title = {How to Formally Model Human in Collaborative Robotics}, author = {Mehrnoosh Askarpour}, year = {2020}, doi = {10.4204/eptcs.329.1}, url = {https://arxiv.org/abs/2012.01647}, note = {Source identifier: 2012.01647} }