28 citations · 41 across the 4 of their papers we have counts for
1 paper · 2 filters
Mark Niklas Müller, Christopher Brix, Stanley Bak +2
This report summarizes the 3rd International Verification of Neural Networks Competition (VNN-COMP 2022), held as a part of the 5th Workshop on Formal Methods for ML-Enabled Autono…