Explore
AI Tools
New Tools
AI Agents
One9 Worker
LLMs
RAG & Vector DBs
Research
Assemble a stack
Founder Stacks
Compare
How We Rate
About
$
/
₹
⌘K
Sign up free
Login
Back to papers
August 26, 2026
cs.AI
cs.CL
eess.AS
Formal, Executable and Explainable Runtime Monitoring of Spoken Air Traffic Control Operational Procedures
Roberto Luvini
,
Giacomo Longo
,
Alessandro Armando
,
Enrico Russo
Original Abstract
Read on arXiv
Download PDF
Categories
cs.AI, cs.CL, eess.AS
Formal, Executable and Explainable Runtime Monitoring of Spoken Air Traffic Control Operational Procedures - AI Research | One9Founders | One9Founders