Reachability Analysis of Deep ReLU Neural Networks using Facet-Vertex Incidence (bibtex)

by Xiaodong Yang, Tomoya Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson and Danil Prokhorov

Reference:

Xiaodong Yang, Tomoya Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson and Danil Prokhorov, "Reachability Analysis of Deep ReLU Neural Networks using Facet-Vertex Incidence", In 24th ACM International Conference on Hybrid Systems (HSCC'21), ACM, pp. 18:1–7, 2021.

Bibtex Entry:

@inproceedings{yang2021hscc,
  title = {Reachability Analysis of Deep ReLU Neural Networks using Facet-Vertex Incidence},
  author = {Xiaodong Yang and Tomoya Yamaguchi and Hoang-Dung Tran and Bardh Hoxha and Taylor T. Johnson and Danil Prokhorov},
  year = {2021},
  month = may,
  booktitle = {24th ACM International Conference on Hybrid Systems (HSCC'21)},
  pages = {18:1--7},
  publisher = {ACM},
  doi = {10.1145/3447928.3456650},
  publabel = {C30},
  pubtype = {C},
  dblp = {conf/hybrid/YangJT0HP21},
  s2id = {233486434},
  pdf = "research/yang2021hscc.pdf",
}