Robustness Verification of Classification Deep Neural Networks via Linear Programming. - Wang Lin; Zhengfeng Yang; Xin Chen 027; Qingye Zhao; Xiangkun Li; Zhiming Liu 001; Jifeng He 001 (CVPR, 2019)

Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations. - Meng Sha; Xin Chen 027; Yuzhe Ji; Qingye Zhao; Zhengfeng Yang; Wang Lin; Enyi Tang; Qiguang Chen; Xuandong Li (DAC, 2021)

Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems. - Qingye Zhao; Xin Chen 027; Yifan Zhang 005; Meng Sha; Zhengfeng Yang; Wang Lin; Enyi Tang; Qiguang Chen; Xuandong Li (HSCC, 2021)

Verifying Neural Network Controlled Systems Using Neural Networks. - Qingye Zhao; Xin Chen 027; Zhuoyu Zhao; Yifan Zhang 005; Enyi Tang; Xuandong Li (HSCC, 2022)

Wassertrain: An Adversarial Training Framework Against Wasserstein Adversarial Attacks. - Qingye Zhao; Xin Chen 027; Zhuoyu Zhao; Enyi Tang; Xuandong Li (ICASSP, 2022)

Safe reinforcement learning for dynamical systems using barrier certificates. - Qingye Zhao; Yi Zhang; Xuandong Li (Connect. Sci., 2022)