AeroEval: Staged Program and Execution Validation for AI-Generated Drone Missions

arXiv:2610.09764 · cs.RO, cs.DC · Submitted 2026-10-07 · Read on arXiv

cs.RO, cs.DC

Submitted: 2026-10-07

Updated: 2026-10-07

Terminology

Trace — 16× in this paper · explained in 2 episodes
Ablation — 8× in this paper · explained in 1 episode
Verification — 7× in this paper · explained in 2 episodes
Consistency — 5× in this paper · explained in 3 episodes
Digital Twin — 5× in this paper · explained in 4 episodes
Alignment — 4× in this paper · explained in 1 episode
Robustness — 3× in this paper · explained in 5 episodes
Abstract Syntax Tree — 2× in this paper
Adversarial Robustness — 2× in this paper · explained in 3 episodes
International Conference on Robotics and Automation — 2× in this paper
Large Language Models (LLMs) — 2× in this paper · explained in 6 episodes
Structured Prompting — 2× in this paper · explained in 2 episodes
Ablation study — 1× in this paper · explained in 1 episode
Abstraction — 1× in this paper · explained in 1 episode
Benchmark — 1× in this paper · explained in 2 episodes
Edge Devices — 1× in this paper · explained in 2 episodes
Fidelity — 1× in this paper · explained in 2 episodes
Formal Verification — 1× in this paper · explained in 2 episodes
Generative AI — 1× in this paper · explained in 2 episodes
Sim-to-Real Transfer — 1× in this paper · explained in 2 episodes
World Model — 1× in this paper · explained in 7 episodes

Related papers