Analyzing the impact of human errors on interactive service robotic scenarios via formal verification

Developing robotic applications with human–robot interaction for the service sector raises a plethora of challenges. In these settings, human behavior is essentially unconstrained as they can stray from the plan in numerous ways, constituting a critical source of uncertainty for the outcome of the r...

Full description

Saved in:

Bibliographic Details
Published in:	Software and systems modeling Vol. 23; no. 2; pp. 473 - 502
Main Authors:	Lestingi, Livia, Manglaviti, Andrea, Marinaro, Davide, Marinello, Luca, Askarpour, Mehrnoosh, Bersani, Marcello M., Rossi, Matteo
Format:	Journal Article
Language:	English
Published:	Berlin/Heidelberg Springer Berlin Heidelberg 01.04.2024 Springer Nature B.V
Subjects:	Compilers Computer Science Designers Human behavior Human error Impact analysis Information Systems Applications (incl.Internet) Interpreters IT in Business Mission planning Programming Languages Programming Techniques Robotics Robots Software Engineering Software Engineering/Programming and Operating Systems Special Section Paper Statistical models Verification Human errors Statistical model checking Stochastic Hybrid Automata Human–robot interaction Service robotics Formal modeling Formal verification
ISSN:	1619-1366, 1619-1374
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!