Sampling-Based Motion Planning with μ-Calculus Specifications Without Steering. - Luc Larocque; Jun Liu 015 (ICRA, 2018)