Anasuri S. Formal Verification of Autonomous System Software. IJERET [Internet]. 2022 Mar. 30 [cited 2026 Jun. 13];3(1):95-104. Available from: https://ijeret.org/index.php/ijeret/article/view/266