Fetching the paper…

Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations · Around