Larocque, L. ., & Liu, J. . (2018). Sampling-based motion planning with mu-calculus specifications without steering. Ampling-Based Motion Planning With Mu-Calculus Specifications Without Steering. Presented at the.