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

Xiang, Weiming; Tran, Hoang-Dung; Johnson, Taylor T.

by Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson

Reference:

Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson, "Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations", In In Submission, IEEE, 2018, sept.

Bibtex Entry:

@article{xiang2018tcyb,
  author    = {Weiming Xiang and Hoang-Dung Tran and Taylor T. Johnson},
  title     = {Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations},
  journal = {In Submission},
  year      = {2018},
  month     = sept,
  publisher = {IEEE},
  file      = {http://www.taylortjohnson.com/research/xiang2018tcyb.pdf},
  owner     = {tjohnson},
}