# Assuring safety in air traffic control systems with argumentation and model checking

> Research article (Expert Systems with Applications, 2015) · cited 23× · AI/ML

**Wikidata**: [openalex:W2132698445](https://www.wikidata.org/wiki/openalex:W2132698445)  
**Source**: https://4ort.xyz/entity/assuring-safety-in-air-traffic-control-systems-with-argumentation-and-model-checking