Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications

Jie Fang, Zetian Zhang, Raghvendra V. Cowlagi. Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications. Automatica, 140:110228, 2022. [doi]

@article{FangZC22,
  title = {Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications},
  author = {Jie Fang and Zetian Zhang and Raghvendra V. Cowlagi},
  year = {2022},
  doi = {10.1016/j.automatica.2022.110228},
  url = {https://doi.org/10.1016/j.automatica.2022.110228},
  researchr = {https://researchr.org/publication/FangZC22},
  cites = {0},
  citedby = {0},
  journal = {Automatica},
  volume = {140},
  pages = {110228},
}