A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Statistical Model Checking of Human-Robot Interaction Scenarios
2020
Electronic Proceedings in Theoretical Computer Science
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 robotic frameworks that can soundly guarantee that a collection of properties are verified at all times during operation. While developing a mission plan, robots should take into account factors such
doi:10.4204/eptcs.319.2
fatcat:fwguxiuklzfx3bknwxh6b3lmi4