A Deployment Framework for Formally Verified Human-Robot Interactions.

Livia Lestingi Mehrnoosh Askarpour Marcello M. Bersani Matteo Rossi

Published in: IEEE Access (2021)

Keyphrases

human robot
real time
cooperative
probabilistic model
general purpose
machine learning
computer vision
artificial neural networks
multi objective
human robot interaction