Reasoning with Uncertainty in Robotics by Leo Dorst