The following publications are possibly variants of this publication:
- Reachability analysis of deep ReLU neural networks using facet-vertex incidenceXiaodong Yang, Taylor T. Johnson, Hoang-Dung Tran, Tomoya Yamaguchi 0001, Bardh Hoxha, Danil V. Prokhorov. hybrid 2021: [doi]
- Verifying Neural Network Controlled Systems Using Neural NetworksQingye Zhao, Xin Chen 0027, Zhuoyu Zhao, Yifan Zhang, Enyi Tang, Xuandong Li. hybrid 2022: [doi]
- Synthesizing barrier certificates using neural networksHengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu 0001. hybrid 2020: [doi]
- Verification of Recurrent Neural Networks with Star ReachabilityHoang-Dung Tran, Sung Woo Choi, Xiaodong Yang, Tomoya Yamaguchi 0001, Bardh Hoxha, Danil V. Prokhorov. hybrid 2023: [doi]