A dependable perception-decision-execution cycle for autonomous robots

The tasks robots are employed to achieve are becoming increasingly complex, demanding for dependable operation, especially if robots and humans share common space. Unfortunately, for these robots non-determinism is a severe challenge. Malfunctioning hardware, inaccurate sensors, exogenous events and incomplete knowledge lead to inconsistencies in the robot's belief about the world.