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

Specification, stochastic modeling and analysis of interactive service robotic applications

(2023) Livia Lestingi et al.   ROBOTICS AND AUTONOMOUS SYSTEMS

Two decades on human reliability analysis: A bibliometric analysis and literature review

(2020) Lin-Xiu Hou et al.   ANNALS OF NUCLEAR ENERGY

RoboChart: modelling and verification of the functional behaviour of robotic applications

(2019) Alvaro Miyazawa et al.   Software and Systems Modeling

Formal model of human erroneous behavior for safety analysis in collaborative robotics

(2019) Mehrnoosh Askarpour et al.   ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING

A formal method for assessing the impact of task-based erroneous human behavior on system safety

(2019) Matthew L. Bolton et al.   RELIABILITY ENGINEERING & SYSTEM SAFETY

Safety Assessment of Collaborative Robotics Through Automated Formal Verification

(2019) Federico Vicentini et al.   IEEE Transactions on Robotics

A Survey of Statistical Model Checking

(2018) Gul Agha et al.   ACM Transactions on Modeling and Computer Simulation

On the application of Human Reliability Analysis in healthcare: Opportunities and challenges

(2018) Mark A. Sujan et al.   RELIABILITY ENGINEERING & SYSTEM SAFETY

Experimental validation of a subject-specific maximum endurance time model

(2017) Bin Liu et al.   ERGONOMICS

Modelling worker reliability with learning and fatigue

(2015) Z.S. Givi et al.   APPLIED MATHEMATICAL MODELLING

Uppaal SMC tutorial

(2015) Alexandre David et al.   International Journal on Software Tools for Technology Transfer

Combining human error verification and timing analysis: a case study on an infusion pump

(2013) Rimvydas Rukšėnas et al.   FORMAL ASPECTS OF COMPUTING

Inclusion of fatigue effects in human reliability analysis

(2011) Candice D. Griffith et al.   RELIABILITY ENGINEERING & SYSTEM SAFETY