Bridges the gap between free-form natural language and safety-critical UAV navigation using Signal Temporal Logic (STL) translation and repair.
March 31, 2026
Original Paper
LLM-Enabled Low-Altitude UAV Natural Language Navigation via Signal Temporal Logic Specification Translation and Repair
arXiv · 2603.27583
The Takeaway
It provides a framework for grounding underspecified instructions into formal, verifiable trajectories. The introduction of an automated 'specification repair' mechanism allows the system to intelligently relax constraints when a task is logically infeasible, ensuring safe and interpretable autonomous flight.
From the abstract
Natural language (NL) navigation for low-altitude unmanned aerial vehicles (UAVs) offers an intelligent and convenient solution for low-altitude aerial services by enabling an intuitive interface for non-expert operators. However, deploying this capability in urban environments necessitates the precise grounding of underspecified instructions into safety-critical, dynamically feasible motion plans subject to spatiotemporal constraints. To address this challenge, we propose a unified framework th