Fuggitti, Francesco, and Tathagata Chakraborti. “NL2LTL – a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas”. Proceedings of the AAAI Conference on Artificial Intelligence 37, no. 13 (September 6, 2023): 16428-16430. Accessed July 13, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/27068.