Tianhao Wei

According to our database, Tianhao Wei authored at least 33 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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, May, 2025

Certifying Robustness of Learning-Based Keypoint Detection and Pose Estimation Methods.

Xusheng Luo, Tianhao Wei, Simin Liu, Ziwei Wang, Luis Mattei-Mendez, Taylor Loper, Joshua Neighbor, Casidhe Hutchison, Changliu Liu

ACM Trans. Cyber Phys. Syst., April, 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

Learn With Imagination: Safe Set Guided State-wise Constrained Policy Optimization.

Yifan Sun, Feihan Li, Weiye Zhao, Rui Chen, Tianhao Wei, Changliu Liu

Proceedings of the 7th Annual Learning for Dynamics & Control Conference, 2025

Bridging the Gap between Hardware Fuzzing and Industrial Verification.

Ruiyang Ma, Tianhao Wei, Jiaxi Zhang, Chun Yang, Jiangfang Yi, Guojie Luo

Proceedings of the Great Lakes Symposium on VLSI 2025, GLSVLSI 2025, New Orleans, LA, USA, 30 June 2025, 2025

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

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

GUARD: A Safe Reinforcement Learning Benchmark.

Weiye Zhao, Yifan Sun, Feihan Li, Rui Chen, Ruixuan Liu, Tianhao Wei, Changliu Liu

Trans. Mach. Learn. Res., 2024

State-wise Constrained Policy Optimization.

Weiye Zhao, Rui Chen, Yifan Sun, Feihan Li, Tianhao Wei, Changliu Liu

Trans. Mach. Learn. Res., 2024

Improve Certified Training with Signal-to-Noise Ratio Loss to Decrease Neuron Variance and Increase Neuron Stability.

Tianhao Wei, Ziwei Wang, Peizhi Niu, Abulikemu Abuduweili, Weiye Zhao, Casidhe Hutchison, Eric M. Sample, Changliu Liu

Trans. Mach. Learn. Res., 2024

Absolute State-wise Constrained Policy Optimization: High-Probability State-wise Constraints Satisfaction.

Weiye Zhao, Feihan Li, Yifan Sun, Yujie Wang, Rui Chen, Tianhao Wei, Changliu Liu

CoRR, 2024

WeHelp: A Shared Autonomy System for Wheelchair Users.

Abulikemu Abuduweili, Alice Wu, Tianhao Wei, Weiye Zhao

CoRR, 2024

NN4SysBench: Characterizing Neural Network Verification for Computer Systems.

Shuyi Lin, Haoyu He, Tianhao Wei, Kaidi Xu, Huan Zhang, Gagandeep Singh, Changliu Liu, Cheng Tan

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Absolute Policy Optimization: Enhancing Lower Probability Bound of Performance with High Confidence.

Weiye Zhao, Feihan Li, Yifan Sun, Rui Chen, Tianhao Wei, Changliu Liu

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Meta-Control: Automatic Model-based Control Synthesis for Heterogeneous Robot Skills.

Tianhao Wei, Liqian Ma, Rui Chen, Weiye Zhao, Changliu Liu

Proceedings of the Conference on Robot Learning, 6-9 November 2024, Munich, Germany., 2024

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation.

Hanjiang Hu, Yujie Yang, Tianhao Wei, Changliu Liu

Proceedings of the Conference on Robot Learning, 6-9 November 2024, Munich, Germany., 2024

Multimodal Safe Control for Human-Robot Interaction.

Ravi Pandya, Tianhao Wei, Changliu Liu

Proceedings of the American Control Conference, 2024

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

Robust Safe Control with Multi-Modal Uncertainty.

Tianhao Wei, Liqian Ma, Ravi Pandya, Changliu Liu

CoRR, 2023

State-wise Constrained Policy Optimization.

Weiye Zhao, Rui Chen, Yifan Sun, Tianhao Wei, Changliu Liu

CoRR, 2023

GUARD: A Safe Reinforcement Learning Benchmark.

Weiye Zhao, Rui Chen, Yifan Sun, Ruixuan Liu, Tianhao Wei, Changliu Liu

CoRR, 2023

Building Verified Neural Networks for Computer Systems with Ouroboros.

Cheng Tan, Changliu Liu, Zhihao Jia, Tianhao Wei

Proceedings of the Sixth Conference on Machine Learning and Systems, 2023

State-wise Safe Reinforcement Learning: A Survey.

Weiye Zhao, Tairan He, Rui Chen, Tianhao Wei, Changliu Liu

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Zero-Shot Transferable and Persistently Feasible Safe Control for High Dimensional Systems by Consistent Abstraction.

Tianhao Wei, Shucheng Kang, Ruixuan Liu, Changliu Liu

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Safety Index Synthesis via Sum-of-Squares Programming.

Weiye Zhao, Tairan He, Tianhao Wei, Simin Liu, Changliu Liu

Proceedings of the American Control Conference, 2023

2022

Robust Safe Control for Uncertain Dynamic Models.

Tianhao Wei, Shucheng Kang, Weiye Zhao, Changliu Liu

CoRR, 2022

Safe Control with Neural Network Dynamic Models.

Tianhao Wei, Changliu Liu

Proceedings of the Learning for Dynamics and Control Conference, 2022

A Composable Framework for Policy Design, Learning, and Transfer Toward Safe and Efficient Industrial Insertion.

Rui Chen, Chenxi Wang, Tianhao Wei, Changliu Liu

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

2021

Online Verification of Deep Neural Networks under Domain or Weight Shift.

Tianhao Wei, Changliu Liu

CoRR, 2021

2019

Safe Control Algorithms Using Energy Functions: A Unified Framework, Benchmark, and New Directions.

Tianhao Wei, Changliu Liu

CoRR, 2019

AGen: Adaptable Generative Prediction Networks for Autonomous Driving.

Wenwen Si, Tianhao Wei, Changliu Liu

Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

Safe Control Algorithms Using Energy Functions: A Uni ed Framework, Benchmark, and New Directions.

Tianhao Wei, Changliu Liu

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

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

Proceedings of the 15th Annual IEEE International Conference on Sensing, 2018

Flow Guided Recurrent Neural Encoder for Video Salient Object Detection.

Guanbin Li, Yuan Xie, Tianhao Wei, Keze Wang, Liang Lin

Proceedings of the 2018 IEEE Conference on Computer Vision and Pattern Recognition, 2018