6 citations · 11 across the 11 of their papers we have counts for
1 paper · 2 filters
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…