F. Fuggitti and T. Chakraborti, “NL2LTL – a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas”, AAAI, vol. 37, no. 13, pp. 16428-16430, Sep. 2023.