Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation June 20, 2024Poster, Seattle Convention Center, Seattle, US