Star-Based Reachability Analysis of Deep Neural Networks (bibtex)

by HD Tran, DM Lopez, P Musau, X Yang, LV Nguyen, W Xiang and Taylor T. Johnson

Reference:

HD Tran, DM Lopez, P Musau, X Yang, LV Nguyen, W Xiang and Taylor T. Johnson, "Star-Based Reachability Analysis of Deep Neural Networks", In 23rd International Symposium on Formal Methods (FM'19), Springer, pp. 670–686, 2019.

Bibtex Entry:

@inproceedings{tran2019fm,
  title = {Star-Based Reachability Analysis of Deep Neural Networks},
  author = {HD Tran and DM Lopez and P Musau and X Yang and LV Nguyen and W Xiang and Taylor T. Johnson},
  year = {2019},
  month = sep,
  booktitle = {23rd International Symposium on Formal Methods (FM'19)},
  volume = {11800},
  pages = {670--686},
  publisher = {Springer},
  doi = {10.1007/978-3-030-30942-8_39},
  publabel = {C25},
  pubtype = {C},
  dblp = {conf/fm/TranLMYNXJ19},
  pdf = "research/tran2019fm.pdf",
}