Komplexität von Robustheitsfragen und Netzwerkminimierung in Neuronalen Netzen
Die Komplexität verschiedener Verifikationsprobleme für Neuronale Netze, wie Robustheit und Minimalität, hängt stark von den verwendeten Aktivierungsfunktionen ab. Für lineare und stückweise lineare Aktivierungen lassen sich viele dieser Probleme effizient lösen, während für nichtlineare Aktivierungen die Komplexität deutlich höher ist.
