Naseer, M., Hasan, O., & Shafique, M. (2023). Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation. In N. Narodytska, G. Amir, G. Katz, & O. Isac (Eds.), Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems (pp. 6–28). https://doi.org/10.29007/7r6j