A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios

Robots are currently mostly found in industrial settings. In the future, a wider range of environments will benefit from their inclusion. This calls for the development of tools that allow professionals to set up dependable robotic applications in which people productively interact with robots aware...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics S. 1907 - 1914
Hauptverfasser:	Lestingi, Livia, Askarpour, Mehrnoosh, Bersani, Marcello M., Rossi, Matteo
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 11.10.2020
Schlagworte:	Human-robot interaction Model checking model-driven development Physiology Probability Robots Service robots statistical model checking
ISSN:	2577-1655
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!