Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version)

Open in new window