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)