DeepDyve: Dynamic Verification for Deep Neural Networks

Yu Li, Min Li, Bo Luo +2

Deep neural networks (DNNs) have become one of the enabling technologies in many safety-critical applications, e.g., autonomous driving and medical image analysis. DNN systems, how…