TY  - RPRT
TI  - Formal, Executable and Explainable Runtime Monitoring of Spoken Air Traffic Control Operational Procedures
AU  - Roberto Luvini
AU  - Giacomo Longo
AU  - Alessandro Armando
AU  - Enrico Russo
PY  - 2026
UR  - https://arxiv.org/abs/2608.25926
ID  - 2608.25926
ER  -