186 citations · 440 across the 14 of their papers we have counts for
1 paper · 2 filters
Guy Katz, Clark Barrett, David Dill +2
Deep neural networks have emerged as a widely used and effective means for tackling complex, real-world problems. However, a major obstacle in applying them to safety-critical syst…