Tianhao Wei

According to our database, Tianhao Wei authored at least 30 papers between 2018 and 2024.

Collaborative distances:

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

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

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

Hanjiang Hu, Yujie Yang, Tianhao Wei, Changliu Liu

CoRR, 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

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

CoRR, 2024

Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis.

Yujie Yang, Hanjiang Hu, Tianhao Wei, Shengbo Eben Li, Changliu Liu

CoRR, 2024

ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks.

Tianhao Wei, Luca Marzari, Kai S. Yun, Hanjiang Hu, Peizhi Niu, Xusheng Luo, Changliu Liu

CoRR, 2024

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

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

CoRR, 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

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

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

Weiye Zhao, Yifan Sun, Feihan Li, Rui Chen, Tianhao Wei, 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