The following publications are possibly variants of this publication:
- Verifying Neural Network Controlled Systems Using Neural NetworksQingye Zhao, Xin Chen 0027, Zhuoyu Zhao, Yifan Zhang, Enyi Tang, Xuandong Li. hybrid 2022: [doi]
- 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]