Anasuri, S. 2022. Formal Verification of Autonomous System Software. International Journal of Emerging Research in Engineering and Technology. 3, 1 (Mar. 2022), 95–104. DOI:https://doi.org/10.63282/3050-922X.IJERET-V3I1P110.