Theoretical analysis of norm selection for robustness verification of neural networks. - Saharat Saengsawang; Guoqiang Li 001 (Phys. Commun., 2023)