Probabilistic Motion Planning Under Temporal Tasks and Soft Constraints | IEEE Journals & Magazine | IEEE Xplore