(1)
Lechner, M.; Žikelić, Đorđe; Chatterjee, K.; Henzinger, T. A.; Rus, D. Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks. AAAI 2023, 37, 14964-14973.