Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Formal, Executable and Explainable Runtime Monitoring of Spoken Air Traffic Control Operational Procedures
Roberto Luvini, Giacomo Longo, Alessandro Armando +1
Air traffic control procedures are executed through spoken exchanges between controllers and pilots. These interactions are essential to the safety of air transportation: failures…
cs.AI2026
TRACE-CTI: Auditable Post-Extraction Governance of TTP Claims with Knowledge Graphs
Federico Valletta, Giacomo Longo, Enrico Russo +1
Security Operations Centers increasingly rely on automated mapping of Cyber Threat Intelligence reports to MITRE ATT&CK, yet extractor outputs remain fallible and are often stored…