“Application of Formal Methods to Verification of UAS Detect-and-Avoid Algorithms Against Separation and Collision Avoidance Requirements”, RIOTCPA, vol. 10, no. 8, pp. 1–23, Aug. 2025, Accessed: Nov. 14, 2025. [Online]. Available: https://heisenpub.com/index.php/RIOTCPA/article/view/2025-08-04