Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations (bibtex)

by W Xiang, HD Tran and Taylor T. Johnson

Reference:

W Xiang, HD Tran and Taylor T. Johnson, "Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations", Technical report, arXiv preprint arXiv:1712.08163, 2017.

Bibtex Entry:

@techreport{xiang2018tcyb,
  title = {Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations},
  author = {W Xiang and HD Tran and Taylor T. Johnson},
  year = {2017},
  institution = {arXiv preprint arXiv:1712.08163},
  publabel = {R3},
  pubtype = {R},
  dblp = {journals/corr/abs-1712-08163},
  pdf = "research/xiang2018tcyb.pdf",
}