Reachability Analysis of Deep ReLU Neural Networks Using Facet-Vertex Incidence

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

doi:10.1145/3447928.3456650

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

Reference:

Xiaodong Yang, Taylor T. Johnson, Hoang-Dung Tran, Tomoya Yamaguchi, Bardh Hoxha, Danil Prokhorov, "Reachability Analysis of Deep ReLU Neural Networks Using Facet-Vertex Incidence", In Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (HSCC), Association for Computing Machinery, New York, NY, USA, 2021.

Bibtex Entry:

@inproceedings{yang2021hscc,
author = {Yang, Xiaodong and Taylor T. Johnson and Tran, Hoang-Dung and Yamaguchi, Tomoya and Hoxha, Bardh and Prokhorov, Danil},
title = {Reachability Analysis of Deep ReLU Neural Networks Using Facet-Vertex Incidence},
year = {2021},
isbn = {9781450383394},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
doi = {10.1145/3447928.3456650},
booktitle = {Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (HSCC)},
articleno = {18},
numpages = {7},
location = {Nashville, Tennessee},
series = {HSCC '21},
pdf = "research/yang2021hscc.pdf",
}