First three years of the international verification of neural networks competition (VNN-COMP)

Brix, Christopher Jan-Steffen (Corresponding author); Müller, Mark Niklas; Bak, Stanley; Johnson, Taylor T.; Liu, Changliu

Berlin ; Heidelberg [u.a.] : Springer (2023)
Fachzeitschriftenartikel

In: International journal on software tools for technology transfer : STTT
Band: 25
Seite(n)/Artikel-Nr.: 329-339

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]