# Evaluation of Neural Network Verification Methods for Air-to-Air Collision Avoidance

> Research article (Journal of Air Transportation, 2022) · cited 15× · AI/ML

**Wikidata**: [openalex:W4307367089](https://www.wikidata.org/wiki/openalex:W4307367089)  
**Source**: https://4ort.xyz/entity/evaluation-of-neural-network-verification-methods-for-air-to-air-collision-avoidance