“Application of Formal Methods to Verification of UAS Detect-and-Avoid Algorithms Against Separation and Collision Avoidance Requirements” (2025) Reviews on Internet of Things (IoT), Cyber-Physical Systems, and Applications, 10(8), pp. 1–23. Available at: https://heisenpub.com/index.php/RIOTCPA/article/view/2025-08-04 (Accessed: 14 November 2025).