This work introduces an efficient approach to compute the reachable sets for convolutional neural networks.
Mar 13, 2025