First three years of the international verification of neural networks competition (VNN-COMP)
Christopher Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson +1 more
2023International Journal on Software Tools for Technology Transfer (STTT)114 citations Open access
Semantic Scholar

