Henzinger, T. A.; Lechner, M.; Žikelić, Đorđe. Scalable Verification of Quantized Neural Networks. AAAI 2021, 35, 3787-3795.