140 citations · 526 across the 24 of their papers we have counts for
1 paper · 2 filters
Rudy Bunel, Ilker Turkaslan, Philip H. S. Torr +2
The success of Deep Learning and its potential use in many safety-critical applications has motivated research on formal verification of Neural Network (NN) models. Despite the rep…