TY - RPRT TI - Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation AU - Mehrnoosh Askarpour AU - Matteo Rossi AU - Omer Tiryakiler PY - 2020 DO - 10.4204/eptcs.319.1 UR - https://arxiv.org/abs/2007.11737 ID - 2007.11737 ER -