Fuggitti, F.; Chakraborti, T. NL2LTL – a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas. AAAI 2024, 37, 16428-16430.