2021conference

Reachability analysis of deep ReLU neural networks using facet-vertex incidence

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

HSCC

Topics: Learning-based Control and Analysis

Citation

@inproceedings{yang2021reachability,
  title = {Reachability analysis of deep ReLU neural networks using facet-vertex incidence},
  author = {Yang, Xiaodong and Johnson, Taylor T and Tran, Hoang-Dung and Yamaguchi, Tomoya and Hoxha, Bardh and Prokhorov, Danil V},
  booktitle = {HSCC},
  pages = {18--1},
  year = {2021},
  code = {https://github.com/Shaddadi/veritex},
  url = {http://www.bhoxha.com/papers/HSCC2021.pdf},
  keywords = {Learning-based Control and Analysis}
}