Fuggitti F, Chakraborti T. NL2LTL – a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas. AAAI [Internet]. 2024 Jul. 15 [cited 2026 May 27];37(13):16428-30. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/27068