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), pp. 16428-16430. doi: 10.1609/aaai.v37i13.27068.