Sampling-based motion planning with mu-calculus specifications without steering

TitleSampling-based motion planning with mu-calculus specifications without steering
Publication TypeConference Paper
Year of Publication2018
AuthorsLarocque, L., and J. Liu
Conference NameIEEE International Conference on Robotics and Automation (ICRA)