@misc{indiciae762c405a20eb,
  title = {Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation},
  author = {Mehrnoosh Askarpour and Matteo Rossi and Omer Tiryakiler},
  year = {2020},
  doi = {10.4204/eptcs.319.1},
  url = {https://arxiv.org/abs/2007.11737},
  note = {Source identifier: 2007.11737}
}