Motion-planning with global temporal logic specifications for multiple nonholonomic robotic vehicles

Zetian Zhang, Raghvendra V. Cowlagi. Motion-planning with global temporal logic specifications for multiple nonholonomic robotic vehicles. In 2016 American Control Conference, ACC 2016, Boston, MA, USA, July 6-8, 2016. pages 7098-7103, IEEE, 2016. [doi]

@inproceedings{ZhangC16b,
  title = {Motion-planning with global temporal logic specifications for multiple nonholonomic robotic vehicles},
  author = {Zetian Zhang and Raghvendra V. Cowlagi},
  year = {2016},
  doi = {10.1109/ACC.2016.7526792},
  url = {https://doi.org/10.1109/ACC.2016.7526792},
  researchr = {https://researchr.org/publication/ZhangC16b},
  cites = {0},
  citedby = {0},
  pages = {7098-7103},
  booktitle = {2016 American Control Conference, ACC 2016, Boston, MA, USA, July 6-8, 2016},
  publisher = {IEEE},
  isbn = {978-1-4673-8682-1},
}