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