Deep learning (DL) has attracted wide attention and has been widely deployed in recent
years. As a result, more and more research efforts have been dedicated to testing DL …

With the growing use of deep neural networks (DNN) in mission and safety-critical
applications, there is an increasing interest in DNN verification. Unfortunately, increasingly …