TY - RPRT TI - ViTL: Temporal Logic-Guided Zero-Shot Natural Language Navigation via Vision-Language Models AU - Kaier Liang AU - Hengde Dai AU - Cristian-Ioan Vasile PY - 2026 UR - https://arxiv.org/abs/2606.30696 ID - 2606.30696 ER -