Reachability Analysis and Safety Verification for Neural Network Control Systems (bibtex)

Reference:

W Xiang and Taylor T. Johnson, "Reachability Analysis and Safety Verification for Neural Network Control Systems", Technical report, arXiv preprint arXiv:1805.09944, 2018.

Bibtex Entry:

@techreport{xiang2018nncs,
  title = {Reachability Analysis and Safety Verification for Neural Network Control Systems},
  author = {W Xiang and Taylor T. Johnson},
  year = {2018},
  institution = {arXiv preprint arXiv:1805.09944},
  publabel = {R6},
  pubtype = {R},
  pdf = "research/xiang2018nncs.pdf",
}