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

Full description

Bibliographic Details

Published in:	Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics pp. 1907 - 1914
Main Authors:	Lestingi, Livia, Askarpour, Mehrnoosh, Bersani, Marcello M., Rossi, Matteo
Format:	Conference Proceeding
Language:	English
Published:	IEEE 11.10.2020
Subjects:	Human-robot interaction Model checking model-driven development Physiology Probability Robots Service robots statistical model checking
ISSN:	2577-1655
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!