FUGGITTI, F.; CHAKRABORTI, T. NL2LTL – a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 37, n. 13, p. 16428-16430, 2023. DOI: 10.1609/aaai.v37i13.27068. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/27068. Acesso em: 13 jul. 2024.