The following publications are possibly variants of this publication:
- Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systemsQingye Zhao, Xin Chen, Yifan Zhang 0005, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li. 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]