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

Celý popis