Sun, X., & Shoukry, Y. (2024). Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks. IEEE Transactions on Robotics, 40, 20. http://doi.org/10.1109/TRO.2024.3392079