Login / Signup

Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation.

Mehrnoosh AskarpourMatteo RossiOmer Tiryakiler
Published in: AREA@ECAI (2020)
Keyphrases
  • temporal logic
  • human robot
  • model checking
  • modal logic
  • real time
  • cooperative
  • learning algorithm