Neues Verfahren: E-Globe liefert skalierbare, präzise Verifikation neuronaler Netze
Neurale Netzwerke erzielen beeindruckende Ergebnisse, doch Bedenken hinsichtlich ihrer Robustheit erschweren den Einsatz in sicherheitskritischen Bereichen. Formale Verifikationsmethoden können Zuverlässigkeit garantier…