Yiannis Kantaros

Conformal Temporal Logic Planning using Large Language Models

2023 · arXiv (Cornell University)

This paper addresses planning problems for mobile robots. We consider missions that require accomplishing multiple high-level sub-tasks, expressed in natural language (NL), in a temporal and logical order. To formally define the mission, we treat …