Neural Network Repair with Reachability Analysis (bibtex)

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

Reference:

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

Bibtex Entry:

@inproceedings{yang2022formats,
  title = {Neural Network Repair with Reachability Analysis},
  author = {Xiaodong Yang and Tom Yamaguchi and Hoang-Dung Tran and Taylor T. Johnson and Danil Prokhorov},
  year = {2022},
  month = sep,
  booktitle = {20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'22)},
  pages = {221--236},
  publisher = {Springer},
  doi = {10.1007/978-3-031-15839-1_13},
  publabel = {C34},
  pubtype = {C},
  dblp = {conf/formats/YangYTHJP22},
  pdf = "research/yang2022formats.pdf",
}