Luc Larocque, Jun Liu. Sampling-Based Motion Planning with μ-Calculus Specifications Without Steering. In 2018 IEEE International Conference on Robotics and Automation, ICRA 2018, Brisbane, Australia, May 21-25, 2018. pages 1-6, IEEE, 2018. [doi]
Abstract is missing.