Morteza Lahijanian, Joseph Wasniewski, Sean B. Andersson, Calin Belta. Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees. In IEEE International Conference on Robotics and Automation, ICRA 2010, Anchorage, Alaska, USA, 3-7 May 2010. pages 3227-3232, IEEE, 2010. [doi]
Abstract is missing.