Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation. - Mehrnoosh Askarpour; Matteo Rossi 001; Omer Tiryakiler (AREA@ECAI, 2020)