Dipartimento di Ingegneria informatica, automatica e gestionale

The paper "NL2LTL – A Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas", by Francesco Fuggitti and Tathagata Chakraborti, received the Best System Demonstration Award Runner–Up at the Thirty-third International Conference on Automated Planning and Scheduling (ICAPS), held in July 8-13, 2023, in Prague, Czech Republic.