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, [S. l.], v. 10, n. 8, p. 1–23, 2025. Disponível em: https://heisenpub.com/index.php/RIOTCPA/article/view/2025-08-04. Acesso em: 14 nov. 2025.