ViTL: Temporal Logic-Guided Zero-Shot Natural Language Navigation via Vision-Language Models

Kaier Liang, Hengde Dai, Cristian-Ioan Vasile

Enabling robots to follow natural language commands to complete zero-shot long-horizon tasks remains challenging. It requires extracting implicit temporal and logical constraints f…