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 (July 15, 2024): 16428–16430. Accessed May 27, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/27068.