# Model Checking Based Unmanned Aerial Vehicle (UAV) Security Analysis

> Research article (2020 International Conference on Communications, Signal Processing, and their Applications (ICCSPA), 2021) · cited 18× · AI/ML

**Wikidata**: [openalex:W3149338202](https://www.wikidata.org/wiki/openalex:W3149338202)  
**Source**: https://4ort.xyz/entity/model-checking-based-unmanned-aerial-vehicle-uav-security-analysis