Flow Guided Recurrent Neural Encoder for Video Salient Object Detection. - Guanbin Li; Yuan Xie 004; Tianhao Wei; Keze Wang; Liang Lin (CVPR, 2018)

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 001 (SECON, 2018)

Safe Control Algorithms Using Energy Functions: A Uni ed Framework, Benchmark, and New Directions. - Tianhao Wei; Changliu Liu (CDC, 2019)

AGen: Adaptable Generative Prediction Networks for Autonomous Driving. - Wenwen Si; Tianhao Wei; Changliu Liu (IV, 2019)

Safe Control Algorithms Using Energy Functions: A Unified Framework, Benchmark, and New Directions. - Tianhao Wei; Changliu Liu (CoRR, 2019)

Online Verification of Deep Neural Networks under Domain or Weight Shift. - Tianhao Wei; Changliu Liu (CoRR, 2021)

A Composable Framework for Policy Design, Learning, and Transfer Toward Safe and Efficient Industrial Insertion. - Rui Chen 030; Chenxi Wang; Tianhao Wei; Changliu Liu (IROS, 2022)

Safe Control with Neural Network Dynamic Models. - Tianhao Wei; Changliu Liu (L4DC, 2022)

Robust Safe Control for Uncertain Dynamic Models. - Tianhao Wei; Shucheng Kang; Weiye Zhao; Changliu Liu (CoRR, 2022)

Safety Index Synthesis via Sum-of-Squares Programming. - Weiye Zhao; Tairan He; Tianhao Wei; Simin Liu; Changliu Liu (ACC, 2023)

Zero-Shot Transferable and Persistently Feasible Safe Control for High Dimensional Systems by Consistent Abstraction. - Tianhao Wei; Shucheng Kang; Ruixuan Liu; Changliu Liu (CDC, 2023)

State-wise Safe Reinforcement Learning: A Survey. - Weiye Zhao; Tairan He; Rui Chen 030; Tianhao Wei; Changliu Liu (IJCAI, 2023)

Building Verified Neural Networks for Computer Systems with Ouroboros. - Cheng Tan; Changliu Liu; Zhihao Jia; Tianhao Wei (MLSys, 2023)

GUARD: A Safe Reinforcement Learning Benchmark. - Weiye Zhao; Rui Chen 030; Yifan Sun 011; Ruixuan Liu; Tianhao Wei; Changliu Liu (CoRR, 2023)

State-wise Constrained Policy Optimization. - Weiye Zhao; Rui Chen 030; Yifan Sun 011; Tianhao Wei; Changliu Liu (CoRR, 2023)

Robust Safe Control with Multi-Modal Uncertainty. - Tianhao Wei; Liqian Ma; Ravi Pandya; Changliu Liu (CoRR, 2023)

Persistently Feasible Robust Safe Control by Safety Index Synthesis and Convex Semi-Infinite Programming. - Tianhao Wei; Shucheng Kang; Weiye Zhao; Changliu Liu (IEEE Control. Syst. Lett., 2023)

Multimodal Safe Control for Human-Robot Interaction. - Ravi Pandya; Tianhao Wei; Changliu Liu (ACC, 2024)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation. - Hanjiang Hu; Yujie Yang; Tianhao Wei; Changliu Liu (CoRL, 2024)

Meta-Control: Automatic Model-based Control Synthesis for Heterogeneous Robot Skills. - Tianhao Wei; Liqian Ma; Rui Chen 030; Weiye Zhao; Changliu Liu (CoRL, 2024)

Absolute Policy Optimization: Enhancing Lower Probability Bound of Performance with High Confidence. - Weiye Zhao; Feihan Li; Yifan Sun 011; Rui Chen 030; Tianhao Wei; Changliu Liu (ICML, 2024)

NN4SysBench: Characterizing Neural Network Verification for Computer Systems. - Shuyi Lin 001; Haoyu He; Tianhao Wei; Kaidi Xu; Huan Zhang; Gagandeep Singh 001; Changliu Liu; Cheng Tan (NeurIPS, 2024)

WeHelp: A Shared Autonomy System for Wheelchair Users. - Abulikemu Abuduweili; Alice Wu; Tianhao Wei; Weiye Zhao (CoRR, 2024)

Absolute State-wise Constrained Policy Optimization: High-Probability State-wise Constraints Satisfaction. - Weiye Zhao; Feihan Li; Yifan Sun 011; Yujie Wang; Rui Chen 030; Tianhao Wei; Changliu Liu (CoRR, 2024)

Improve Certified Training with Signal-to-Noise Ratio Loss to Decrease Neuron Variance and Increase Neuron Stability. - Tianhao Wei; Ziwei Wang 001; Peizhi Niu; Abulikemu Abuduweili; Weiye Zhao; Casidhe Hutchison; Eric M. Sample; Changliu Liu (Trans. Mach. Learn. Res., 2024)

State-wise Constrained Policy Optimization. - Weiye Zhao; Rui Chen 030; Yifan Sun 011; Feihan Li; Tianhao Wei; Changliu Liu (Trans. Mach. Learn. Res., 2024)

GUARD: A Safe Reinforcement Learning Benchmark. - Weiye Zhao; Yifan Sun 011; Feihan Li; Rui Chen 030; Ruixuan Liu; Tianhao Wei; Changliu Liu (Trans. Mach. Learn. Res., 2024)

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 (CAV (2), 2025)

Bridging the Gap between Hardware Fuzzing and Industrial Verification. - Ruiyang Ma; Tianhao Wei; Jiaxi Zhang 001; Chun Yang; Jiangfang Yi; Guojie Luo (ACM Great Lakes Symposium on VLSI, 2025)

Learn With Imagination: Safe Set Guided State-wise Constrained Policy Optimization. - Yifan Sun 011; Feihan Li; Weiye Zhao; Rui Chen 030; Tianhao Wei; Changliu Liu (L4DC, 2025)

Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis. - Yujie Yang; Hanjiang Hu; Tianhao Wei; Shengbo Eben Li; Changliu Liu (J. Artif. Intell. Res., 2025)

Certifying Robustness of Learning-Based Keypoint Detection and Pose Estimation Methods. - Xusheng Luo; Tianhao Wei; Simin Liu; Ziwei Wang 001; Luis Mattei-Mendez; Taylor Loper; Joshua Neighbor; Casidhe Hutchison; Changliu Liu (ACM Trans. Cyber Phys. Syst., 2025)

Control Invariant Sets for Neural Network Dynamical Systems and Recursive Feasibility in Model Predictive Control. - Xiao Li; Tianhao Wei; Changliu Liu; Anouck Girard; Ilya V. Kolmanovsky (CoRR, 2025)