Formal, Executable and Explainable Runtime Monitoring of Spoken Air Traffic Control Operational Procedures
DGX agentarXiv:2608.25926v1 Announce Type: cross Abstract: Air traffic control procedures are executed through spoken exchanges between controllers and pilots. These interactions are essential to the safety of