Back to papers
August 26, 2026cs.AIcs.CLeess.AS

Formal, Executable and Explainable Runtime Monitoring of Spoken Air Traffic Control Operational Procedures

Roberto Luvini, Giacomo Longo, Alessandro Armando, Enrico Russo
Read on arXivDownload PDF
Categories

cs.AI, cs.CL, eess.AS