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)

Content citing this item

Series

Formal verification under uncertainty

Being able to ensure that AI systems behave as intended is essential for their adoption in many areas. This series covers formal methods for …

All works referenced in our site...