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