# Probabilistic verification and synthesis of the next generation airborne collision avoidance system

> Research article (International Journal on Software Tools for Technology Transfer, 2015) · cited 13× · AI/ML

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