Stav dette: Reasoning with uncertainty in robotics :