Login / Signup
Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation.
Mehrnoosh Askarpour
Matteo Rossi
Omer Tiryakiler
Published in:
AREA@ECAI (2020)
Keyphrases
</>
temporal logic
human robot
model checking
modal logic
real time
cooperative
learning algorithm