Safe Linear Temporal Logic Motion Planning in Dynamic Environments

Yinan Li, Ebrahim Moradi Shahrivar, Jun Liu 0015. Safe Linear Temporal Logic Motion Planning in Dynamic Environments. In IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021. pages 9818-9825, IEEE, 2021. [doi]

@inproceedings{LiS021-2,
  title = {Safe Linear Temporal Logic Motion Planning in Dynamic Environments},
  author = {Yinan Li and Ebrahim Moradi Shahrivar and Jun Liu 0015},
  year = {2021},
  doi = {10.1109/IROS51168.2021.9636433},
  url = {https://doi.org/10.1109/IROS51168.2021.9636433},
  researchr = {https://researchr.org/publication/LiS021-2},
  cites = {0},
  citedby = {0},
  pages = {9818-9825},
  booktitle = {IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021},
  publisher = {IEEE},
  isbn = {978-1-6654-1714-3},
}