A Deployment Framework for Formally Verified Human-Robot Interactions

In the future, assistive robots will spread to everyday settings and regularly interact with humans. This paper introduces a deployment approach for assistive robotic applications where human-robot interaction is the main element. The deployment infrastructure hinges on a model-to-code transformatio...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE access Vol. 9; pp. 136616 - 136635
Main Authors:	Lestingi, Livia, Askarpour, Mehrnoosh, Bersani, Marcello M., Rossi, Matteo
Format:	Journal Article
Language:	English
Published:	Piscataway IEEE 2021 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	Automata Codes Human engineering Human-robot interaction Middleware model-driven approach Peer-to-peer computing Robot control robot deployment Robotics Robots service robots Simulation Statistical models Stochastic processes Virtual environments Virtual reality
ISSN:	2169-3536, 2169-3536
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!