Automatic Verification of Autonomous Robot Missions

Abstract

Before autonomous robotics can be used for dangerous or critical missions, performance guarantees should be made available. This
\npaper overviews a software system for the verification of behavior-based controllers in context of chosen hardware and environmental models.
\nRobotic controllers are automatically translated to a process algebra.
\nThe system comprising both the robot and the environment are then
\nevaluated by VIPARS, a verification software module in development,
\nand compared to specific performance criteria. The user is returned a
\nprobability that the performance criteria will hold in the uncertainty of
\nreal-world conditions. Experimental results demonstrate accurate verification for a mission related to the search for a biohazard.