2023conference

Verification of Recurrent Neural Networks with Star Reachability

Hoang Dung Tran, Sung Woo Choi, Xiaodong Yang, Tomoya Yamaguchi, Bardh Hoxha, Danil Prokhorov

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control

Topics: Learning-based Control and Analysis

Citation

@inproceedings{tran2023verification,
  title = {Verification of Recurrent Neural Networks with Star Reachability},
  author = {Tran, Hoang Dung and Choi, Sung Woo and Yang, Xiaodong and Yamaguchi, Tomoya and Hoxha, Bardh and Prokhorov, Danil},
  booktitle = {Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control},
  pages = {1--13},
  year = {2023},
  code = {https://github.com/verivital/nnv},
  url = {https://www.bhoxha.com/papers/HSCC2023RNNVer.pdf},
  keywords = {Learning-based Control and Analysis}
}