First three years of the international verification of neural networks competition (VNN-COMP)
Crossref DOI link: https://doi.org/10.1007/s10009-023-00703-4
Published Online: 2023-05-30
Published Print: 2023-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Brix, Christopher
Müller, Mark Niklas
Bak, Stanley
Johnson, Taylor T.
Liu, Changliu
Funding for this research was provided by:
RWTH Aachen University
Text and Data Mining valid from 2023-05-30
Version of Record valid from 2023-05-30
Article History
Accepted: 14 January 2023
First Online: 30 May 2023