2 papers
cs.RO2025
LTLCodeGen: Code Generation of Syntactically Correct Temporal Logic for Robot Task Planning
Behrad Rabiei, Mahesh Kumar A. R., Zhirui Dai +3
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…
cs.RO2025
LATMOS: Latent Automaton Task Model from Observation Sequences
Weixiao Zhan, Qiyue Dong, Eduardo Sebastián +1
Robot task planning from high-level instructions is an important step towards deploying fully autonomous robot systems in the service sector. Three key aspects of robot task planni…