Detecting Operational Adversarial Examples for Reliable Deep Learning. - Xingyu Zhao 001; Wei Huang 035; Sven Schewe; Yi Dong 002; Xiaowei Huang 001 (DSN (Supplements), 2021)

Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems. - Yi Dong 002; Xingyu Zhao 001; Xiaowei Huang 001 (CoRR, 2021)

Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems. - Xingyu Zhao 001; Wei Huang 035; Vibhav Bharti; Yi Dong 002; Victoria Cox; Alec Banks; Sen Wang 002; Sven Schewe; Xiaowei Huang 001 (CoRR, 2021)

EnnCore: End-to-End Conceptual Guarding of Neural Architectures. - Edoardo Manino; Danilo S. Carvalho; Yi Dong 002; Julia Rozanova; Xidan Song; Mustafa A. Mustafa; André Freitas; Gavin Brown 001; Mikel Luján; Xiaowei Huang 001; Lucas C. Cordeiro (SafeAI@AAAI, 2022)

Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking. - Yi Dong 002; Xingyu Zhao 001; Xiaowei Huang 001 (IROS, 2022)

Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation. - Yi Dong 002; Zhongguo Li; Xingyu Zhao 001; Zhengtao Ding; Xiaowei Huang 001 (AAMAS, 2023)

Short-term Load Forecasting with Distributed Long Short-Term Memory. - Yi Dong 002; Yang Chen; Xingyu Zhao 001; Xiaowei Huang 001 (ISGT, 2023)

STPA for Learning-Enabled Systems: A Survey and A New Practice. - Yi Qi; Yi Dong 002; Siddartha Khastgir; Paul A. Jennings; Xingyu Zhao 001; Xiaowei Huang 001 (ITSC, 2023)

STPA for Learning-Enabled Systems: A Survey and A New Method. - Yi Qi; Yi Dong 002; Xingyu Zhao 001; Xiaowei Huang 001 (CoRR, 2023)

Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance. - Yi Dong 002; Wei Huang 035; Vibhav Bharti; Victoria Cox; Alec Banks; Sen Wang 002; Xingyu Zhao 001; Sven Schewe; Xiaowei Huang 001 (ACM Trans. Embed. Comput. Syst., 2023)

Position: Building Guardrails for Large Language Models Requires Systematic Design. - Yi Dong 002; Ronghui Mu; Gaojie Jin; Yi Qi; Jinwei Hu; Xingyu Zhao 001; Jie Meng; Wenjie Ruan; Xiaowei Huang 001 (ICML, 2024)

Building Guardrails for Large Language Models. - Yi Dong 002; Ronghui Mu; Gaojie Jin; Yi Qi; Jinwei Hu; Xingyu Zhao 001; Jie Meng; Wenjie Ruan; Xiaowei Huang 001 (CoRR, 2024)

Safeguarding Large Language Models: A Survey. - Yi Dong 002; Ronghui Mu; Yanghao Zhang; Siqi Sun; Tianle Zhang; Changshun Wu; Gaojie Jin; Yi Qi; Jinwei Hu; Jie Meng; Saddek Bensalem; Xiaowei Huang 001 (CoRR, 2024)

Adaptive Guardrails For Large Language Models via Trust Modeling and In-Context Learning. - Jinwei Hu; Yi Dong 002; Xiaowei Huang 001 (CoRR, 2024)

Reachability Verification Based Reliability Assessment for Deep Reinforcement Learning Controlled Robotics and Autonomous Systems. - Yi Dong 002; Xingyu Zhao 001; Sen Wang 002; Xiaowei Huang 001 (IEEE Robotics Autom. Lett., 2024)

Privacy-Preserving Distributed Learning for Residential Short-Term Load Forecasting. - Yi Dong 002; Yingjie Wang; Mariana Gama; Mustafa A. Mustafa; Geert Deconinck; Xiaowei Huang 001 (IEEE Internet Things J., 2024)

A survey of safety and trustworthiness of large language models through the lens of verification and validation. - Xiaowei Huang 001; Wenjie Ruan; Wei Huang 035; Gaojie Jin; Yi Dong 002; Changshun Wu; Saddek Bensalem; Ronghui Mu; Yi Qi; Xingyu Zhao 001; Kaiwen Cai; Yanghao Zhang; et al. (Artif. Intell. Rev., 2024)