Buchumschlag

LLM-Enabled Low-Altitude UAV Natural Language Navigation via Signal Temporal Logic Specification Translation and Repair

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ping, Yuqi, Ding, Huahao, Liang, Tianhao, Zhou, Longyu, Lei, Guangyu, Chen, Xinglin, Wu, Junwei, Zhou, Jieyu, Zhang, Tingting
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Robotics Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Enhancing Low-Altitude Airspace Security: MLLM-Enabled UAV Intent Recognition
von: Lei, Guangyu, et al.
Veröffentlicht: (2025)

UAV Control and Communication Enabled Low-Altitude Economy: Challenges, Resilient Architecture and Co-design Strategies
von: Liang, Tianhao, et al.
Veröffentlicht: (2026)

Relative Localization of UAV Swarms in GNSS-Denied Conditions
von: Lei, Guangyu, et al.
Veröffentlicht: (2025)

Sensing, Communication, and Control Co-design for Energy Efficient Satellite-UAV Networks
von: Liang, Tianhao., et al.
Veröffentlicht: (2024)

Multimodal Large Language Models-Enabled UAV Swarm: Towards Efficient and Intelligent Autonomous Aerial Systems
von: Ping, Yuqi, et al.
Veröffentlicht: (2025)

Sensing, Detection and Localization for Low Altitude UAV: A RF-Based Framework via Multiple BSs Collaboration
von: Liang, Tianhao, et al.
Veröffentlicht: (2025)

Handover-Aware URLLC UAV Trajectory Planning: A Continuous-Time Trajectory Optimization via Graphs of Convex Sets
von: Ping, Yuqi, et al.
Veröffentlicht: (2025)

Uncertainty-Aware 3D UAV Tracking Using Single-Anchor UWB Measurements
von: Ping, Yuqi, et al.
Veröffentlicht: (2025)

CKM-Enabled Joint Spatial-Doppler Domain Clutter Suppression for Low-Altitude UAV ISAC
von: Xu, Zihan, et al.
Veröffentlicht: (2025)

Toward Low-Altitude Airspace Management and UAV Operations: Requirements, Architecture and Enabling Technologies
von: Luo, Guiyang, et al.
Veröffentlicht: (2025)

UAV-Enabled ISAC with Fluid Antennas for Low-Altitude Wireless Networks
von: Liu, Wenchao, et al.
Veröffentlicht: (2025)

Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic
von: Fushimi, Kosei, et al.
Veröffentlicht: (2026)

Secure UAV Swarms in Low-Altitude Wireless Networks: Challenges and Solutions
von: Wang, Yuntao, et al.
Veröffentlicht: (2026)

Movable Antenna-Enabled Integrated Sensing and Communication in Low-Altitude UAV Networks
von: Li, Bin, et al.
Veröffentlicht: (2026)

ISAC-Enabled Multi-UAV Collaborative Target Sensing for Low-Altitude Economy
von: Wang, Rui, et al.
Veröffentlicht: (2026)

LSAI: A Large Small AI Model Codesign Framework for Agentic Robot Scenarios
von: Zhou, Longyu, et al.
Veröffentlicht: (2026)

Low-Complexity Channel Estimation in OTFS Systems with Fractional Effects
von: Lei, Guangyu, et al.
Veröffentlicht: (2025)

Efficient Onboard Vision-Language Inference in UAV-Enabled Low-Altitude Economy Networks via LLM-Enhanced Optimization
von: Li, Yang, et al.
Veröffentlicht: (2025)

Counterexample Classification against Signal Temporal Logic Specifications
von: Zhang, Zhenya, et al.
Veröffentlicht: (2026)

Trusted Routing for Blockchain-Enabled Low-Altitude Intelligent Networks
von: He, Sijie, et al.
Veröffentlicht: (2025)

3D Spherical Directly-Connected Antenna Array for Low-Altitude UAV Swarm ISAC
von: Jiang, Haoyu, et al.
Veröffentlicht: (2026)

MIMO OFDM-Enabled ISAC for Low-Altitude Non-Cooperative UAV Surveillance: A Survey
von: Bai, Shiyu, et al.
Veröffentlicht: (2026)

Optimal Planning and Control under Signal Temporal Logic Specifications
von: Pan, Zuodong, et al.
Veröffentlicht: (2026)

Prototype-Based Low Altitude UAV Semantic Segmentation
von: Zhang, Da, et al.
Veröffentlicht: (2026)

Wireless Communication for Low-Altitude Economy with UAV Swarm Enabled Two-Level Movable Antenna System
von: Lu, Haiquan, et al.
Veröffentlicht: (2025)

Joint Frame Structure, Beamwidth, and Power Allocation for UAV-Aided Localization and Communication
von: Liang, Tianhao., et al.
Veröffentlicht: (2024)

Blockchain-Enabled Routing for Zero-Trust Low-Altitude Intelligent Networks
von: Jia, Ziye, et al.
Veröffentlicht: (2026)

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
von: Kordabad, Arash Bahari, et al.
Veröffentlicht: (2024)

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
von: Ma, Liqian, et al.
Veröffentlicht: (2025)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
von: Kapoor, Parv, et al.
Veröffentlicht: (2024)

Scaling Safe Multi-Agent Control for Signal Temporal Logic Specifications
von: Eappen, Joe, et al.
Veröffentlicht: (2025)

STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
von: Kapoor, Parv, et al.
Veröffentlicht: (2025)

Integrating Low-Altitude SAR Imaging into UAV Data Backhaul
von: Du, Zhen, et al.
Veröffentlicht: (2025)

Low-Altitude Reflection via UAV-Mounted Rotatable IRS
von: Jiang, Zhenwei, et al.
Veröffentlicht: (2026)

Leveraging Large Vision Model for Multi-UAV Co-perception in Low-Altitude Wireless Networks
von: Xu, Yunting, et al.
Veröffentlicht: (2026)

Edge-Enabled VIO with Long-Tracked Features for High-Accuracy Low-Altitude IoT Navigation
von: Huang, Xiaohong, et al.
Veröffentlicht: (2025)

Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs
von: English, William, et al.
Veröffentlicht: (2025)

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints
von: Parameshwaran, Aditya, et al.
Veröffentlicht: (2024)

Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning
von: Guo, Zijian, et al.
Veröffentlicht: (2024)

Approximation-free Control for Signal Temporal Logic Specifications using Spatiotemporal Tubes
von: Das, Ratnangshu, et al.
Veröffentlicht: (2025)