| 2026 | AAAI | Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis (Abstract Reprint). | Yujie Yang, Hanjiang Hu, Tianhao Wei, Shengbo Eben Li, Changliu Liu |
| 2025 | CAV | ModelVerification.jl: A Comprehensive Toolbox for Formally Verifying Deep Neural Networks. | Tianhao Wei, Hanjiang Hu, Luca Marzari, Kai S. Yun, Peizhi Niu, Xusheng Luo, Changliu Liu |
| 2024 | CoRL | Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation. | Hanjiang Hu, Yujie Yang, Tianhao Wei, Changliu Liu |
| 2024 | CoRL | Meta-Control: Automatic Model-based Control Synthesis for Heterogeneous Robot Skills. | Tianhao Wei, Liqian Ma, Rui Chen, Weiye Zhao, Changliu Liu |
| 2024 | ICML | Absolute Policy Optimization: Enhancing Lower Probability Bound of Performance with High Confidence. | Weiye Zhao, Feihan Li, Yifan Sun, Rui Chen, Tianhao Wei, Changliu Liu |
| 2023 | IJCAI | State-wise Safe Reinforcement Learning: A Survey. | Weiye Zhao, Tairan He, Rui Chen, Tianhao Wei, Changliu Liu |
| 2022 | IROS | A Composable Framework for Policy Design, Learning, and Transfer Toward Safe and Efficient Industrial Insertion. | Rui Chen, Chenxi Wang, Tianhao Wei, Changliu Liu |
| 2018 | CVPR | Flow Guided Recurrent Neural Encoder for Video Salient Object Detection. | Guanbin Li, Yuan Xie, Tianhao Wei, Keze Wang, Liang Lin |
| 2018 | SECON | How Local Information Improves Rendezvous in Cognitive Radio Networks. | Yongqin Fu, Yuexuan Wang, Zhaoquan Gu, Xiaolin Zheng, Tianhao Wei, Zhen Cao, Heming Cui, Francis C. M. Lau |