2025. Application of Formal Methods to Verification of UAS Detect-and-Avoid Algorithms Against Separation and Collision Avoidance Requirements. Reviews on Internet of Things (IoT), Cyber-Physical Systems, and Applications. 10, 8 (Aug. 2025), 1–23.