Fuggitti, F., and T. 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, Sept. 2023, pp. 16428-30, doi:10.1609/aaai.v37i13.27068.