“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, vol. 10, no. 8, Aug. 2025, pp. 1-23, https://heisenpub.com/index.php/RIOTCPA/article/view/2025-08-04.