15 citations · 28 across the 12 of their papers we have counts for
1 paper · 1 filter
Remi Desmartin, Omri Isac, Grant Passmore +3
Recent advances in the verification of deep neural networks (DNNs) have opened the way for a broader usage of DNN verification technology in many application areas, including safet…