Zaslat SMS: Reasoning with uncertainty in robotics :