Application of Formal Methods to Verification of UAS Detect-and-Avoid Algorithms Against Separation and Collision Avoidance Requirements. RIOTCPA 2025, 10 (8), 1-23.