Formal VerificationNeural networksResearchRobustification Verification of Neural Networks Against Convolutional Perturbations via Parameterised Kernels Read More