2025journal

Reachability Analysis of Recurrent Neural Networks

Sung Woo Choi, Yuntao Li, Xiaodong Yang, Tomoya Yamaguchi, Bardh Hoxha, Georgios Fainekos, Danil Prokhorov, Hoang-Dung Tran

Nonlinear Analysis: Hybrid Systems, 2025

Topics: Learning-based Control and Analysis; Runtime Verification and Monitoring

Citation

@article{NAHS2025,
  title = {Reachability Analysis of Recurrent Neural Networks},
  author = {Sung Woo Choi and Yuntao Li and Xiaodong Yang and Tomoya Yamaguchi and Bardh Hoxha and Georgios Fainekos and Danil Prokhorov and Hoang-Dung Tran},
  booktitle = {Nonlinear Analysis: Hybrid Systems, 2025},
  year = {2025},
  url = {https://www.sciencedirect.com/science/article/abs/pii/S1751570X2500007X},
  keywords = {Learning-based Control and Analysis, Runtime Verification and Monitoring}
}