@misc{indiciae5aa771776ab0,
  title = {Reachability Analysis and Safety Verification of Neural Feedback Systems via Hybrid Zonotopes},
  author = {Yuhao Zhang and Xiangru Xu},
  year = {2022},
  doi = {10.23919/acc55779.2023.10156417},
  url = {https://arxiv.org/abs/2210.03244},
  note = {Source identifier: 2210.03244}
}