Reference

The third international verification of neural networks competition (VNN-COMP 2022): Summary and results, Mark Niklas Müller, Christopher Brix, Stanley Bak, Changliu Liu, Taylor T. Johnson. (2022)