Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees.

Morteza Lahijanian, Joseph Wasniewski, Sean B. Andersson, Calin Belta

Browse the full ICRA paper archive.