@article{1083,
  author = {Xiaowu Sun and Yasser Shoukry},
  title = {Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks},
  year = {2024},
  journal = {IEEE Transactions on Robotics},
  volume = {40},
  chapter = {2749},
  pages = {20},
  month = {01},
  publisher = {Institute of Electrical and Electronics Engineers},
  issn = {1552-3098},
  url = {https://par.nsf.gov/biblio/10507111},
  doi = {10.1109/TRO.2024.3392079},
}