Marius Kloetzer Calin Belta Managing non-determinism in symbolic robot motion planning and control. 3110-3115 2007 conf/icra/2007 ICRA http://dx.doi.org/10.1109/ROBOT.2007.363945 db/conf/icra/icra2007.html#KloetzerB07