The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results

Titel:: The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
Dokumenttyp:: Zeitschriftenaufsatz
Autor(en):: Kaulen, Konstantin; Ladner, Tobias; Bak, Stanley; Brix, Christopher; Duong, Hai; Flinkow, Thomas; Johnson, Taylor T.; Koller, Lukas; Manino, Edoardo; Nguyen, ThanhVu H; Wu, Haoze
Zeitschriftentitel:: arxiv
Jahr:: 2025
Volltext / DOI:: doi:10.48550/ARXIV.2512.19007
Publikationsdatum:: 01.01.2025
BibTeX

Vorkommen: