Safety-Aware Apprenticeship Learning. - Weichao Zhou; Wenchao Li 001 (CAV (1), 2018)

Runtime-Safety-Guided Policy Repair. - Weichao Zhou; Ruihan Gao; BaekGyu Kim; Eunsuk Kang; Wenchao Li 001 (RV, 2020)

Programmatic Reward Design by Example. - Weichao Zhou; Wenchao Li 001 (AAAI, 2022)

A Hierarchical Bayesian Approach to Inverse Reinforcement Learning with Symbolic Reward Machines. - Weichao Zhou; Wenchao Li 001 (ICML, 2022)

Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems. - Qi Zhu 002; Wenchao Li 001; Chao Huang 015; Xin Chen 002; Weichao Zhou; Yixuan Wang 001; Jiajun Li; Feisi Fu (Allerton, 2023)

PAGAR: Imitation Learning with Protagonist Antagonist Guided Adversarial Reward. - Weichao Zhou; Wenchao Li 001 (CoRR, 2023)

Artificial neural network-based virtual synchronous generator dual droop control for microgrid systems. - Hui Wang; Chengdong Yang; Xu Liao; Jiarui Wang; Weichao Zhou; Xiu Ji (Comput. Electr. Eng., 2023)

REGLO: Provable Neural Network Repair for Global Robustness Properties. - Feisi Fu; Zhilu Wang; Weichao Zhou; Yixuan Wang 001; Jiameng Fan; Chao Huang 015; Qi Zhu 002; Xin Chen 002; Wenchao Li 001 (AAAI, 2024)

HyQE: Ranking Contexts with Hypothetical Query Embeddings. - Weichao Zhou; Jiaxin Zhang; Hilaf Hasson; Anu Singh; Wenchao Li 001 (EMNLP (Findings), 2024)

Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning. - Zijian Guo 002; Weichao Zhou; Wenchao Li 001 (ICML, 2024)

Rethinking Inverse Reinforcement Learning: from Data Alignment to Task Alignment. - Weichao Zhou; Wenchao Li 001 (NeurIPS, 2024)

POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. - Yixuan Wang 001; Weichao Zhou; Jiameng Fan; Zhilu Wang; Jiajun Li; Xin Chen 002; Chao Huang 015; Wenchao Li 001; Qi Zhu 002 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Constraint-Conditioned Actor-Critic for Offline Safe Reinforcement Learning. - Zijian Guo 002; Weichao Zhou; Shengao Wang; Wenchao Li 001 (ICLR, 2025)

Semantic Consistency-Based Uncertainty Quantification for Factuality in Radiology Report Generation. - Chenyu Wang; Weichao Zhou; Shantanu Ghosh; Kayhan Batmanghelich; Wenchao Li 001 (NAACL (Findings), 2025)