Neural Network Repair with Reachability Analysis

Yang, Xiaodong; Yamaguchi, Tom; Tran, Hoang-Dung; Johnson, Taylor T.; Prokhorov, Danil

by Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Taylor T. Johnson, Danil Prokhorov

Reference:

Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Taylor T. Johnson, Danil Prokhorov, "Neural Network Repair with Reachability Analysis", In 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), vol. , no. , pp. , 2022, sep.

Bibtex Entry:

@INPROCEEDINGS{yang2022formats,
  author={Xiaodong Yang and Tom Yamaguchi and Hoang-Dung Tran and Taylor T. Johnson and Danil Prokhorov},
  booktitle={20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)}, 
  title={Neural Network Repair with Reachability Analysis}, 
  year={2022},
  month=sep,
  volume={},
  number={},
  pages={},
  doi={},
  pdf="research/yang2022formats.pdf"
}