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