Behrad Rabiei

LTLCodeGen: Code Generation of Syntactically Correct Temporal Logic for Robot Task Planning

This paper focuses on planning robot navigation tasks from natural language specifications. We develop a modular approach, where a large language model (LLM) translates the natural language instructions into a linear temporal logic (LTL) formula with propositions defined by object classes in a seman