Teil 2 von 2: Ein Ansatz zur formalen Verifikation von neuronalen Netzen im Detail
If you want to read this article in English click here. Ein Ansatz zur formalen Verifikation von neuronalen Netzen im Detail In dem ersten Teil dieses Blogs haben wir die folgende Aufgabe ausführlich beschrieben: „Wie lassen sich menschlich verständliche Sicherheitskriterien für...
Teil 1: Einführung in die Constraint-basierte formale Verifikation von neuronalen Netzen
If you want to read this article in English click here. Einführung in die Constraint-basierte formale Verifikation von neuronalen Netzen Künstliche Intelligenz (KI) hat sich bis heute bereits in vielen Bereichen als nützlich erwiesen und ist in einigen Bereichen, wie Computer...