guest ::
%0 Journal Article %A Brix, Christopher Jan-Steffen %A Müller, Mark Niklas %A Bak, Stanley %A Johnson, Taylor T. %A Liu, Changliu %T First three years of the international verification of neural networks competition (VNN-COMP) %J International journal on software tools for technology transfer : STTT %V 25 %@ 1433-2787 %C Berlin ; Heidelberg [u.a.] %I Springer %M RWTH-2023-06212 %P 329-339 %D 2023 %F PUB:(DE-HGF)16 %9 Journal Article %U <Go to ISI:>//WOS:000998184400001 %R 10.1007/s10009-023-00703-4 %U https://publications.rwth-aachen.de/record/960369