no code implementations • 25 Oct 2019 • Sumathi Gokulanathan, Alexander Feldsher, Adi Malca, Clark Barrett, Guy Katz
Deep neural network (DNN) verification is an emerging field, with diverse verification engines quickly becoming available.
Collision Avoidance