TY  - RPRT
TI  - Reachability Analysis for Feed-Forward Neural Networks using Face Lattices
AU  - Xiaodong Yang
AU  - Hoang-Dung Tran
AU  - Weiming Xiang
AU  - Taylor Johnson
PY  - 2020
UR  - https://arxiv.org/abs/2003.01226
ID  - 2003.01226
ER  -