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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Software and systems modeling Jg. 23; H. 2; S. 473 - 502
Hauptverfasser:	Lestingi, Livia, Manglaviti, Andrea, Marinaro, Davide, Marinello, Luca, Askarpour, Mehrnoosh, Bersani, Marcello M., Rossi, Matteo
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Berlin/Heidelberg Springer Berlin Heidelberg 01.04.2024 Springer Nature B.V
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!