论文09:46
Formal, Executable and Explainable Runtime Monitoring of Spoken Air Traffic Control Operational Procedures这篇论文提出了一种新的空中交通管制程序运行时监控框架，通过结合无线电通信、监视数据和机载观察，能够有效识别程序偏差，对于提高空中交通安全具有重要意义。与传统的监控方法相比，该方法在真实交通和合成情况下的表现都十分出色，值得深入研究。
这篇论文提出了一种新的空中交通管制程序运行时监控框架，通过结合无线电通信、监视数据和机载观察，能够有效识别程序偏差，对于提高空中交通安全具有重要意义。与传统的监控方法相比，该方法在真实交通和合成情况下的表现都十分出色，值得深入研究。