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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE access Jg. 9; S. 136616 - 136635
Hauptverfasser:	Lestingi, Livia, Askarpour, Mehrnoosh, Bersani, Marcello M., Rossi, Matteo
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Piscataway IEEE 2021 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!