Speaker
Alessio Lomuscio
Talks at this conference:
| Mon, 10:30 | Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification |
| Mon, 11:00 | Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels |
Speaker
| Mon, 10:30 | Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification |
| Mon, 11:00 | Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels |