AURORA Framework for Verified Air-Ground Scenario Co-Simulation

AURORA uses an Air-Ground Scenario Graph (AGSG) as a typed intermediate representation to compile natural language instructions into verifiable air-ground simulations. The framework enables temporal planning and runtime verification to ensure spatial and behavioral dependencies are met during execution.