Qingye Zhao

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 6

Top Topics

Back Propagation

Top Venues

Publications

Qingye Zhao, Yi Zhang, Xuandong Li
Safe reinforcement learning for dynamical systems using barrier certificates. Connect. Sci. 34 (1) (2022)
Qingye Zhao, Xin Chen, Zhuoyu Zhao, Enyi Tang, Xuandong Li
Wassertrain: An Adversarial Training Framework Against Wasserstein Adversarial Attacks. ICASSP (2022)
Qingye Zhao, Xin Chen, Zhuoyu Zhao, Yifan Zhang, Enyi Tang, Xuandong Li
Verifying Neural Network Controlled Systems Using Neural Networks. HSCC (2022)
Meng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li
Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations. DAC (2021)
Qingye Zhao, Xin Chen, Yifan Zhang, 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. HSCC (2021)
Wang Lin, Zhengfeng Yang, Xin Chen, Qingye Zhao, Xiangkun Li, Zhiming Liu, Jifeng He
Robustness Verification of Classification Deep Neural Networks via Linear Programming. CVPR (2019)