Anasuri, S. Formal Verification of Autonomous System Software. IJERET 2022, 3 (1), 95-104. https://doi.org/10.63282/3050-922X.IJERET-V3I1P110.