First three years of the international verification of neural networks competition (VNN-COMP)
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: 10.1007/s10009-023-00703-4
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2023
- Urheber
-
Brix, Christopher Jan-Steffen
Müller, Mark Niklas
Bak, Stanley
Johnson, Taylor T.
Liu, Changliu
- DOI
-
10.18154/RWTH-2023-06212
- URN
-
urn:nbn:de:101:1-2023062801441515341829
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:52 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Brix, Christopher Jan-Steffen
- Müller, Mark Niklas
- Bak, Stanley
- Johnson, Taylor T.
- Liu, Changliu
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2023
Ähnliche Objekte (12)
Verification of unsupervised neural networks
Advances in verification of ReLU neural networks
Advances in verification of ReLU neural networks
Formal Verification of Industrial Software and Neural Networks
Critically Assessing the State of the Art in Neural Network Verification
Tietz, Manfred /VNN (Bestand)
Vnn den wilden thieren
Self-Verification - Verification of Embedded Systems after Deployment
Improving Neural Network Verification through Spurious Region Guided Refinement
Verification of optimizing compilers
Interactive Verification of Statecharts
Verification of program computations
Verification of unsupervised neural networks
Advances in verification of ReLU neural networks
Advances in verification of ReLU neural networks
Formal Verification of Industrial Software and Neural Networks
Critically Assessing the State of the Art in Neural Network Verification
Tietz, Manfred /VNN (Bestand)
Vnn den wilden thieren
Self-Verification - Verification of Embedded Systems after Deployment
Improving Neural Network Verification through Spurious Region Guided Refinement
Verification of optimizing compilers
Interactive Verification of Statecharts
Verification of program computations
Verification of unsupervised neural networks
Advances in verification of ReLU neural networks
Advances in verification of ReLU neural networks
Formal Verification of Industrial Software and Neural Networks
Critically Assessing the State of the Art in Neural Network Verification
Tietz, Manfred /VNN (Bestand)
Vnn den wilden thieren
Self-Verification - Verification of Embedded Systems after Deployment
Improving Neural Network Verification through Spurious Region Guided Refinement
Verification of optimizing compilers
Interactive Verification of Statecharts