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