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