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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	IEEE access Ročník 9; s. 136616 - 136635
Hlavní autori:	Lestingi, Livia, Askarpour, Mehrnoosh, Bersani, Marcello M., Rossi, Matteo
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Piscataway IEEE 2021 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!