Durch das Finden minimaler NAP-Spezifikationen können die verifizierbaren Grenzen deutlich erweitert und Erkenntnisse über die für die Robustheit verantwortlichen Neuronen gewonnen werden.
