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]
- 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]