Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees. - Morteza Lahijanian; Joseph Wasniewski; Sean B. Andersson; Calin Belta (ICRA, 2010)