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

by W Xiang, Xiaodong Yang, HD Tran and Taylor T. Johnson

Reference:

W Xiang, Xiaodong Yang, HD Tran and Taylor T. Johnson, "Reachability Analysis and Safety Verification for Neural Network Control Systems", In 2nd Verification of Neural Networks (VNN'19), AAAI 2019 Spring Symposium, 2019.

Bibtex Entry:

@inproceedings{xiang2019vnn_nncs,
  title = {Reachability Analysis and Safety Verification for Neural Network Control Systems},
  author = {W Xiang and Xiaodong Yang and HD Tran and Taylor T. Johnson},
  year = {2019},
  booktitle = {2nd Verification of Neural Networks (VNN'19), AAAI 2019 Spring Symposium},
  publabel = {W18},
  pubtype = {W},
  dblp = {journals/corr/abs-1805-09944},
  pdf = "research/xiang2019vnn_nncs.pdf",
}