2022conference

Neural network repair with reachability analysis

Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T Johnson, Danil Prokhorov

International Conference on Formal Modeling and Analysis of Timed Systems

Best Software Artifact Award

Topics: Learning-based Control and Analysis

Citation

@inproceedings{yang2022neural,
  title = {Neural network repair with reachability analysis},
  author = {Yang, Xiaodong and Yamaguchi, Tom and Tran, Hoang-Dung and Hoxha, Bardh and Johnson, Taylor T and Prokhorov, Danil},
  booktitle = {International Conference on Formal Modeling and Analysis of Timed Systems},
  pages = {221--236},
  year = {2022},
  organization = {Springer International Publishing Cham},
  code = {https://github.com/Shaddadi/veritex},
  award = {Best Software Artifact Award},
  url = {https://arxiv.org/pdf/2108.04214.pdf},
  keywords = {Learning-based Control and Analysis}
}