TY  - RPRT
TI  - Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version)
AU  - Mahum Naseer
AU  - Osman Hasan
AU  - Muhammad Shafique
PY  - 2023
UR  - https://arxiv.org/abs/2306.17323
ID  - 2306.17323
ER  -