# Probabilistic model checking of the next-generation airborne collision avoidance system

> Research article (2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), 2016) · cited 13× · AI/ML

**Wikidata**: [openalex:W2564455467](https://www.wikidata.org/wiki/openalex:W2564455467)  
**Source**: https://4ort.xyz/entity/probabilistic-model-checking-of-the-next-generation-airborne-collision-avoidance-system