{"_id":"Dg4omkqyB92Freqvr","bibbaseid":"fuggitti-chakraborti-nl2ltlapythonpackageforconvertingnaturallanguagenlinstructionstolineartemporallogicltlformulas-2023","author_short":["Fuggitti, F.","Chakraborti, T."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Fuggitti"],"firstnames":["Francesco"],"suffixes":[]},{"propositions":[],"lastnames":["Chakraborti"],"firstnames":["Tathagata"],"suffixes":[]}],"title":"NL2LTL – a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas","journal":"ICAPS","year":"2023","note":"System Demonstration.","bibbase_note":"<span style=\"color: red\">Best System Demonstration Runner-Up.</span>","bibtex":"@article{icaps2023fc,\n\tauthor={Fuggitti, Francesco and Chakraborti, Tathagata},\n\ttitle={NL2LTL – a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas},\n\tjournal={{ICAPS}},\n\tyear={2023},\n note={System Demonstration.},\n bibbase_note = {<span style=\"color: red\">Best System Demonstration Runner-Up.</span>} \n}\n","author_short":["Fuggitti, F.","Chakraborti, T."],"key":"icaps2023fc","id":"icaps2023fc","bibbaseid":"fuggitti-chakraborti-nl2ltlapythonpackageforconvertingnaturallanguagenlinstructionstolineartemporallogicltlformulas-2023","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":30},"bibtype":"article","biburl":"https://raw.githubusercontent.com/whitemech/whitemech.github.io/master/publications.bib","dataSources":["sTv84pxw4fgxhrWy3","yS7ttFGW6d5SoZgRH","6Ba7L5Bz5Qx98EeHv","8kCRnmST9TKEYpeWt"],"keywords":[],"search_terms":["nl2ltl","python","package","converting","natural","language","instructions","linear","temporal","logic","ltl","formulas","fuggitti","chakraborti"],"title":"NL2LTL – a Python Package for Converting Natural Language (NL) Instructions to Linear Temporal Logic (LTL) Formulas","year":2023,"downloads":30}