Login / Signup
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios.
Livia Lestingi
Mehrnoosh Askarpour
Marcello M. Bersani
Matteo Rossi
Published in:
SMC (2020)
Keyphrases
</>
formal analysis
human robot interaction
human robot
robot programming
human centered
gesture recognition
formal methods
agent model
service robots
humanoid robot
user interface
manipulation tasks
artificial intelligence