Verification for Machine Learning, Autonomy, and Neural Networks Survey (bibtex)

by W Xiang, P Musau, AA Wild, DM Lopez, N Hamilton, X Yang, J Rosenfeld and Taylor T. Johnson

Reference:

W Xiang, P Musau, AA Wild, DM Lopez, N Hamilton, X Yang, J Rosenfeld and Taylor T. Johnson, "Verification for Machine Learning, Autonomy, and Neural Networks Survey", Technical report, arXiv preprint arXiv:1810.01989, 2018.

Bibtex Entry:

@techreport{xiang2018survey,
  title = {Verification for Machine Learning, Autonomy, and Neural Networks Survey},
  author = {W Xiang and P Musau and AA Wild and DM Lopez and N Hamilton and X Yang and J Rosenfeld and Taylor T. Johnson},
  year = {2018},
  institution = {arXiv preprint arXiv:1810.01989},
  publabel = {R7},
  pubtype = {R},
  pdf = "research/xiang2018survey.pdf",
}