@inproceedings{27,
  author = {Luc Larocque and Jun Liu},
  title = {Sampling-based motion planning with mu-calculus specifications without steering},
  year = {2018},
  journal = {ampling-based motion planning with mu-calculus specifications without steering},
}