Author:Muhammad Shafique

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