Skip to content

Author

Naina Rabha

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Oct 2026

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

Large Language Models (LLMs) can generate drone programs from natural-language mission descriptions, but syntactically valid programs may still violate user intent, environmental constraints, and mission-level behavior. This problem is pronounced in cyber-physical applications, where correctness depends on the interact...

Kautuk Astu, Naina Rabha, Y. Simmhan · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.