[LiLHY0ZXH20] PRODeep: a platform for robustness verification of deep neural networks Li, R.; Li, J.; Huang, C.-C.; Yang, P.; Huang, X.; Zhang, L.; Xue, B. and Hermanns, H. In ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020, pages 1630-1634, ACM, 2020.
Downloads: bibURL: https://doi.org/10.1145/3368089.3417918