Lyu, Z., Ko, C.-Y., Kong, Z., Wong, N., Lin, D. and Daniel, L. (2020) “Fastened CROWN: Tightened Neural Network Robustness Certificates”, Proceedings of the AAAI Conference on Artificial Intelligence, 34(04), pp. 5037-5044. doi: 10.1609/aaai.v34i04.5944.