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