@inproceedings {93,
	title = {Sampling-based motion planning with mu-calculus specifications without steering},
	booktitle = {IEEE International Conference on Robotics and Automation (ICRA)},
	year = {2018},
	author = {Luc Larocque and Jun Liu}
}
