Analytically Determining the Robustness of Binarized Neural Networks. - Sahar M. Alzahrani; Sven Schewe; Chao Huang; Xiaowei Huang 001 (ICMLA, 2024)