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