Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees (2010)

by M Lahijanian, J Wasniewski, S B Andersson, C Belta
Venue:In Robotics and Automation (ICRA), 2010 IEEE International Conference on