safety security
The Monitor Joined Speech to Aircraft State
A runtime checker turns controller-pilot exchanges and observations into time-bounded procedural traces.
Summary
A runtime checker turns controller-pilot exchanges and observations into time-bounded procedural traces.
With real traffic, the complete pipeline reached F1 0.85 against blind human-annotated violations. Its logic returned expected verdicts in 1,495 synthetic situations and identified documented deviations in two reconstructed historical accidents.
Why it matters
A runtime checker turns controller-pilot exchanges and observations into time-bounded procedural traces.
Limits and context
No additional limitation was separately recorded.
Key claims
A runtime checker turns controller-pilot exchanges and observations into time-bounded procedural traces.
Evidence: source-2026-08-27-018
Sources
- arXiv preprint 2608.25926arXiv · primary research
Corrections
No corrections have been recorded for this story.