Output reachable set estimation and verification for multilayer neural networks (bibtex)

by W Xiang, HD Tran and Taylor T. Johnson

Reference:

W Xiang, HD Tran and Taylor T. Johnson, "Output reachable set estimation and verification for multilayer neural networks", IEEE Transactions on Neural Networks and Learning Systems (TNNLS), IEEE, vol. 29, no. 11, pp. 5777–5783, 2018.

Bibtex Entry:

@article{xiang2018tnnls,
  title = {Output reachable set estimation and verification for multilayer neural networks},
  author = {W Xiang and HD Tran and Taylor T. Johnson},
  year = {2018},
  month = mar,
  journal = {IEEE Transactions on Neural Networks and Learning Systems (TNNLS)},
  volume = {29},
  number = {11},
  pages = {5777--5783},
  publisher = {IEEE},
  doi = {10.1109/TNNLS.2018.2808470},
  publabel = {J12},
  pubtype = {J},
  dblp = {journals/tnn/XiangTJ18},
  pdf = "research/xiang2018tnnls.pdf",
}