Fuggitti, F. and Chakraborti, T. 2023. 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, 13 (Sep. 2023), 16428-16430. DOI:https://doi.org/10.1609/aaai.v37i13.27068.