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). https://doi.org/10.54692/lgurjcsit.2024.081519.