Qingye Zhao

According to our database, Qingye Zhao authored at least 6 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Safe reinforcement learning for dynamical systems using barrier certificates.

Qingye Zhao, Yi Zhang, Xuandong Li

Connect. Sci., 2022

Wassertrain: An Adversarial Training Framework Against Wasserstein Adversarial Attacks.

Qingye Zhao, Xin Chen, Zhuoyu Zhao, Enyi Tang, Xuandong Li

Proceedings of the IEEE International Conference on Acoustics, 2022

Verifying Neural Network Controlled Systems Using Neural Networks.

Qingye Zhao, Xin Chen, Zhuoyu Zhao, Yifan Zhang, Enyi Tang, Xuandong Li

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2021

Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems.

Qingye Zhao, Xin Chen, Yifan Zhang, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations.

Meng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2019

Robustness Verification of Classification Deep Neural Networks via Linear Programming.

Wang Lin, Zhengfeng Yang, Xin Chen, Qingye Zhao, Xiangkun Li, Zhiming Liu, Jifeng He

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2019