Choi, Sung Woo, Li, Yuntao, Yang, Xiaodong, Yamaguchi, Tomoya, Hoxha, Bardh, Fainekos, Georgios, Prokhorov, Danil, and Tran, Hoang-Dung. Reachability analysis of recurrent neural networks. Retrieved from https://par.nsf.gov/biblio/10613624. Nonlinear Analysis: Hybrid Systems 56.C Web. doi:10.1016/j.nahs.2025.101581.

Choi, Sung Woo, Li, Yuntao, Yang, Xiaodong, Yamaguchi, Tomoya, Hoxha, Bardh, Fainekos, Georgios, Prokhorov, Danil, & Tran, Hoang-Dung. Reachability analysis of recurrent neural networks. Nonlinear Analysis: Hybrid Systems, 56 (C). Retrieved from https://par.nsf.gov/biblio/10613624. https://doi.org/10.1016/j.nahs.2025.101581

Choi, Sung Woo, Li, Yuntao, Yang, Xiaodong, Yamaguchi, Tomoya, Hoxha, Bardh, Fainekos, Georgios, Prokhorov, Danil, and Tran, Hoang-Dung. "Reachability analysis of recurrent neural networks". Nonlinear Analysis: Hybrid Systems 56 (C). Country unknown/Code not available: Elsevier. https://doi.org/10.1016/j.nahs.2025.101581. https://par.nsf.gov/biblio/10613624.

@article{osti_10613624,
place = {Country unknown/Code not available}, title = {Reachability analysis of recurrent neural networks}, url = {https://par.nsf.gov/biblio/10613624}, DOI = {10.1016/j.nahs.2025.101581}, abstractNote = {}, journal = {Nonlinear Analysis: Hybrid Systems}, volume = {56}, number = {C}, publisher = {Elsevier}, author = {Choi, Sung Woo and Li, Yuntao and Yang, Xiaodong and Yamaguchi, Tomoya and Hoxha, Bardh and Fainekos, Georgios and Prokhorov, Danil and Tran, Hoang-Dung}, }