M. Lechner, Đorđe Žikelić, K. Chatterjee, T. A. Henzinger, and D. Rus, “Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks”, AAAI, vol. 37, no. 12, pp. 14964-14973, Jun. 2023.