Read NNet Run ACAS to get Relu pattern Get ACAS saliency map Run all ACAS pattern Run ACAS pattern with smaller input range to observe some UNSAFE and scale from there