주어진 신경망에 대해 신경망 견고성 검증에 충분한 최소(가장 조잡한) NAP를 찾는 것이 핵심 과제이다. 최소 NAP 사양은 검증 가능한 영역을 크게 확장할 뿐만 아니라 모델의 견고성에 기여하는 뉴런을 밝혀낼 수 있다.
