@misc{indiciae841401d8583c,
  title = {Neural Network Repair with Reachability Analysis},
  author = {Xiaodong Yang and Tom Yamaguchi and Hoang-Dung Tran and Bardh Hoxha and Taylor T Johnson and Danil Prokhorov},
  year = {2021},
  url = {https://arxiv.org/abs/2108.04214},
  note = {Source identifier: 2108.04214}
}