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, vol. 37, no. 13, July 2024, pp. 16428-30, doi:10.1609/aaai.v37i13.27068.