28 citations · 42 across the 8 of their papers we have counts for
1 paper · 1 filter
Christopher Brix, Stanley Bak, Changliu Liu +1
This report summarizes the 4th International Verification of Neural Networks Competition (VNN-COMP 2023), held as a part of the 6th Workshop on Formal Methods for ML-Enabled Autono…