@proceedings{34,
  author = {Felipe Montana and Jun Liu and Tony Dodd},
  title = {Sampling-based path planning for multi-robot systems with co-safe linear temporal logic specifications},
  year = {2017},
  volume = {10471},
  pages = {150\textendash164},
  publisher = {Springer},
  doi = {https://doi.org/10.1007/978-3-319-67113-0_10},
}