Abdullah, Hafiz Mahfooz Ul Haque and Nida Hafeez 2024. Formal modelling and verification of autonomous reasoning based flight simulation system. Lahore Garrison University Research Journal of Computer Science and Information Technology. 8, 1 (Apr. 2024). DOI:https://doi.org/10.54692/lgurjcsit.2024.081519.