Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes

Yuhao Zhang, Xiangru Xu

Feedforward neural networks are widely used in autonomous systems, particularly for control and perception tasks within the system loop. However, their vulnerability to adversarial…