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