PRODeep is a platform for robustness verification of deep neural networks (DNNs). It incorporates constraint-based, abstraction-based, and optimisation-based robustness verification…
The 24th international conference on engineering of complex computer systems (ICECCS 2019) was held on 10th – 13th November in Nansha, Guangzhou. The…