Specification-Guided Safety Verification for Feedforward Neural Networks (bibtex)

by W Xiang, HD Tran and Taylor T. Johnson

Reference:

W Xiang, HD Tran and Taylor T. Johnson, "Specification-Guided Safety Verification for Feedforward Neural Networks", In 2nd Verification of Neural Networks (VNN'19), AAAI 2019 Spring Symposium, 2019.

Bibtex Entry:

@inproceedings{xiang2019vnn,
  title = {Specification-Guided Safety Verification for Feedforward Neural Networks},
  author = {W Xiang and HD Tran and Taylor T. Johnson},
  year = {2019},
  booktitle = {2nd Verification of Neural Networks (VNN'19), AAAI 2019 Spring Symposium},
  publabel = {W19},
  pubtype = {W},
  dblp = {journals/corr/abs-1812-06161},
  pdf = "research/xiang2019vnn.pdf",
}