Fuggitti, Francesco, and Tathagata Chakraborti. 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):16428-30. https://doi.org/10.1609/aaai.v37i13.27068.