@article{zhang2026forward,
 author={Yuhao Zhang and Xiangru Xu},
 journal = {IEEE Control Systems Letters},
 publisher = {IEEE},
 title={Forward and Backward Reachability Analysis of Closed-loop Recurrent Neural Networks via Hybrid Zonotopes}, 
 year={2026},
 volume = {10},
 pages = {1339 - 1344},
}