Managing non-determinism in symbolic robot motion planning and control