Qingye Zhao, Xin Chen, Yifan Zhang 0005, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li. Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems. In Sergiy Bogomolov, Raphaël M. Jungers, editors, HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021. ACM, 2021. [doi]
Abstract is missing.