Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Qingye Zhao' in GoogleThis author has not been identified. Look up 'Xin Chen' in GoogleThis author has not been identified. Look up 'Yifan Zhang 0005' in GoogleThis author has not been identified. Look up 'Meng Sha' in GoogleThis author has not been identified. Look up 'Zhengfeng Yang' in GoogleThis author has not been identified. Look up 'Wang Lin' in GoogleThis author has not been identified. Look up 'Enyi Tang' in GoogleThis author has not been identified. Look up 'Qiguang Chen' in GoogleThis author has not been identified. Look up 'Xuandong Li' in Google

runs on WebDSL