Sultan Salah Ud Din, Muhammad Ahsan Aslam, Shahid Farid, Talha Farooq Khan, and Muhammad Kamran Abid, “ENHANCING AI SYSTEM TRANSPARENCY AND EXPLAINABILITY: INTEGRATING FORMAL METHODOLOGIES FOR IMPROVED MODEL PERFORMANCE AND INTERPRETABILITY”, SES, vol. 3, no. 5, pp. 395–410, May 2025.