1. Abadi, M., et al.: TensorFlow: Large-Scale Machine Learning on Heterogeneous Systems. Software available from tensorflow.org. (2015).
https://www.tensorflow.org/
2. Akhtar, N., Mian, A.: Threat of adversarial attacks on deep learning in computer vision: a survey. In: IEEE Access, vol. 6, pp. 14410–14430 (2018)
3. Ashok, P., et al.: DeepAbstract: neural network abstraction for accelerating verification. Technical report (2020).
arXiv: 2006.13735
[cs.LO]
4. Christopher M Bishop. Pattern recognition and machine learning. springer, 2006
5. Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. ACM Trans. Program. Lang. Syst. 16(5), 1512–1542 (1994)