TY  - RPRT
TI  - Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes
AU  - Yuhao Zhang
AU  - Hang Zhang
AU  - Xiangru Xu
PY  - 2023
UR  - https://arxiv.org/abs/2303.10513
ID  - 2303.10513
ER  -