TY  - RPRT
TI  - Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes
AU  - Yuhao Zhang
AU  - Xiangru Xu
PY  - 2025
DO  - 10.23919/acc63710.2025.11107585
UR  - https://arxiv.org/abs/2503.10840
ID  - 2503.10840
ER  -