Toward 'verifying' a Water Treatment System. - Jingyi Wang 004; Jun Sun 001; Yifan Jia 002 (CoRR, 2017)

Towards 'Verifying' a Water Treatment System. - Jingyi Wang 004; Jun Sun 001; Yifan Jia 002; Shengchao Qin; Zhiwu Xu 001 (FM, 2018)

Adversarial attacks and mitigation for anomaly detectors of cyber-physical systems. - Yifan Jia 002; Jingyi Wang 004; Christopher M. Poskitt; Sudipta Chattopadhyay 001; Jun Sun 001; Yuqi Chen 001 (Int. J. Crit. Infrastructure Prot., 2021)

Physical Adversarial Attack on a Robotic Arm. - Yifan Jia 002; Christopher M. Poskitt; Jun Sun 001; Sudipta Chattopadhyay 001 (IEEE Robotics Autom. Lett., 2022)

Boosting Adversarial Training in Safety-Critical Systems Through Boundary Data Selection. - Yifan Jia 002; Christopher M. Poskitt; Peixin Zhang 001; Jingyi Wang 004; Jun Sun 001; Sudipta Chattopadhyay 001 (IEEE Robotics Autom. Lett., 2023)