Pubblicazioni

NL2LTL – a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas

2023 - Vol. 37 No. 13: AAAI-23 Special Programs, IAAI-23, EAAI-23, Student Papers and Demonstrations
Fuggitti, Francesco; Chakraborti, Tathagata

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma