Statistical Model Checking of Human-Robot Interaction Scenarios

Robots are soon going to be deployed in non-industrial environments. Before society can take such a step, it is necessary to endow complex robotic systems with mechanisms that make them reliable enough to operate in situations where the human factor is predominant. This calls for the development of...

Full description

Bibliographic Details

Published in:	arXiv.org
Main Authors:	Lestingi, Livia, Askarpour, Mehrnoosh, Bersani, Marcello M, Rossi, Matteo
Format:	Paper
Language:	English
Published:	Ithaca Cornell University Library, arXiv.org 23.07.2020
Subjects:	Computer simulation Human engineering Real variables Robotics Robots Statistical analysis Statistical models User satisfaction
ISSN:	2331-8422
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!