Author:Osman Hasan

Publications
Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation Mahum Naseer, Osman Hasan and Muhammad Shafique In:Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems
Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving Waqar Ahmed, Osman Hasan and Sofiene Tahar In:IWIL-2015. 11th International Workshop on the Implementation of Logics