TY  - RPRT
TI  - Reachability Analysis and Safety Verification of Neural Feedback Systems via Hybrid Zonotopes
AU  - Yuhao Zhang
AU  - Xiangru Xu
PY  - 2022
DO  - 10.23919/acc55779.2023.10156417
UR  - https://arxiv.org/abs/2210.03244
ID  - 2210.03244
ER  -