1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Sumathi Gokulanathan, Alexander Feldsher, Adi Malca +2
Deep neural network (DNN) verification is an emerging field, with diverse verification engines quickly becoming available. Demonstrating the effectiveness of these engines on real-…