Tianhao Wei

48 papers A* 5A 1B 1C 3Misc 2Journal 29Unranked 7
YearRankTypeTitle / Venue / Authors
2026 A* conf
Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis (Abstract Reprint).
AAAI
Yujie Yang, Hanjiang Hu, Tianhao Wei, Shengbo Eben Li, Changliu Liu
2025 — conf
Bridging the Gap between Hardware Fuzzing and Industrial Verification.
ACM Great Lakes Symposium on VLSI
Ruiyang Ma, Tianhao Wei, Jiaxi Zhang, Chun Yang, Jiangfang Yi, Guojie Luo
2025 J jnl
Bridging the Gap between Hardware Fuzzing and Industrial Verification.
CoRR
Ruiyang Ma, Tianhao Wei, Jiaxi Zhang, Chun Yang, Jiangfang Yi, Guojie Luo
2025 J jnl
Certifying Robustness of Learning-Based Keypoint Detection and Pose Estimation Methods.
ACM Trans. Cyber Phys. Syst.
Xusheng Luo, Tianhao Wei, Simin Liu, Ziwei Wang, Luis Mattei-Mendez, Taylor Loper, Joshua Neighbor, Casidhe Hutchison, Changliu Liu
2025 J jnl
Control Invariant Sets for Neural Network Dynamical Systems and Recursive Feasibility in Model Predictive Control.
CoRR
Xiao Li, Tianhao Wei, Changliu Liu, Anouck Girard, Ilya V. Kolmanovsky
2025 J jnl
Enhancing Certifiable Semantic Robustness via Robust Pruning of Deep Neural Networks.
CoRR
Hanjiang Hu, Bowei Li, Ziwei Wang, Tianhao Wei, Casidhe Hutchison, Eric M. Sample, Changliu Liu
2025 — conf
Learn With Imagination: Safe Set Guided State-wise Constrained Policy Optimization.
L4DC
Yifan Sun, Feihan Li, Weiye Zhao, Rui Chen, Tianhao Wei, Changliu Liu
2025 — conf
ModelVerification.jl: A Comprehensive Toolbox for Formally Verifying Deep Neural Networks.
CAV (2)
Tianhao Wei, Hanjiang Hu, Luca Marzari, Kai S. Yun, Peizhi Niu, Xusheng Luo, Changliu Liu
2025 J jnl
Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis.
J. Artif. Intell. Res.
Yujie Yang, Hanjiang Hu, Tianhao Wei, Shengbo Eben Li, Changliu Liu
2024 A* conf
Absolute Policy Optimization: Enhancing Lower Probability Bound of Performance with High Confidence.
ICML
Weiye Zhao, Feihan Li, Yifan Sun, Rui Chen, Tianhao Wei, Changliu Liu
2024 J jnl
Absolute State-wise Constrained Policy Optimization: High-Probability State-wise Constraints Satisfaction.
CoRR
Weiye Zhao, Feihan Li, Yifan Sun, Yujie Wang, Rui Chen, Tianhao Wei, Changliu Liu
2024 J jnl
Certifying Robustness of Learning-Based Keypoint Detection and Pose Estimation Methods.
CoRR
Xusheng Luo, Tianhao Wei, Simin Liu, Ziwei Wang, Luis Mattei-Mendez, Taylor Loper, Joshua Neighbor, Casidhe Hutchison, Changliu Liu
2024 J jnl
GUARD: A Safe Reinforcement Learning Benchmark.
Trans. Mach. Learn. Res.
Weiye Zhao, Yifan Sun, Feihan Li, Rui Chen, Ruixuan Liu, Tianhao Wei, Changliu Liu
2024 J jnl
Improve Certified Training with Signal-to-Noise Ratio Loss to Decrease Neuron Variance and Increase Neuron Stability.
Trans. Mach. Learn. Res.
Tianhao Wei, Ziwei Wang, Peizhi Niu, Abulikemu Abuduweili, Weiye Zhao, Casidhe Hutchison, Eric M. Sample, Changliu Liu
2024 Misc conf
Meta-Control: Automatic Model-based Control Synthesis for Heterogeneous Robot Skills.
CoRL
Tianhao Wei, Liqian Ma, Rui Chen, Weiye Zhao, Changliu Liu
2024 J jnl
Meta-Control: Automatic Model-based Control Synthesis for Heterogeneous Robot Skills.
CoRR
Tianhao Wei, Liqian Ma, Rui Chen, Weiye Zhao, Changliu Liu
2024 J jnl
ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks.
CoRR
Tianhao Wei, Luca Marzari, Kai S. Yun, Hanjiang Hu, Peizhi Niu, Xusheng Luo, Changliu Liu
2024 C conf
Multimodal Safe Control for Human-Robot Interaction.
ACC
Ravi Pandya, Tianhao Wei, Changliu Liu
2024 A* conf
NN4SysBench: Characterizing Neural Network Verification for Computer Systems.
NeurIPS
Shuyi Lin, Haoyu He, Tianhao Wei, Kaidi Xu, Huan Zhang, Gagandeep Singh, Changliu Liu, Cheng Tan
2024 J jnl
Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis.
CoRR
Yujie Yang, Hanjiang Hu, Tianhao Wei, Shengbo Eben Li, Changliu Liu
2024 J jnl
State-wise Constrained Policy Optimization.
Trans. Mach. Learn. Res.
Weiye Zhao, Rui Chen, Yifan Sun, Feihan Li, Tianhao Wei, Changliu Liu
2024 Misc conf
Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation.
CoRL
Hanjiang Hu, Yujie Yang, Tianhao Wei, Changliu Liu
2024 J jnl
Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation.
CoRR
Hanjiang Hu, Yujie Yang, Tianhao Wei, Changliu Liu
2024 J jnl
WeHelp: A Shared Autonomy System for Wheelchair Users.
CoRR
Abulikemu Abuduweili, Alice Wu, Tianhao Wei, Weiye Zhao
2023 — conf
Building Verified Neural Networks for Computer Systems with Ouroboros.
MLSys
Cheng Tan, Changliu Liu, Zhihao Jia, Tianhao Wei
2023 J jnl
GUARD: A Safe Reinforcement Learning Benchmark.
CoRR
Weiye Zhao, Rui Chen, Yifan Sun, Ruixuan Liu, Tianhao Wei, Changliu Liu
2023 J jnl
Learn With Imagination: Safe Set Guided State-wise Constrained Policy Optimization.
CoRR
Weiye Zhao, Yifan Sun, Feihan Li, Rui Chen, Tianhao Wei, Changliu Liu
2023 J jnl
Multimodal Safe Control for Human-Robot Interaction.
CoRR
Ravi Pandya, Tianhao Wei, Changliu Liu
2023 J jnl
Persistently Feasible Robust Safe Control by Safety Index Synthesis and Convex Semi-Infinite Programming.
IEEE Control. Syst. Lett.
Tianhao Wei, Shucheng Kang, Weiye Zhao, Changliu Liu
2023 J jnl
Robust Safe Control with Multi-Modal Uncertainty.
CoRR
Tianhao Wei, Liqian Ma, Ravi Pandya, Changliu Liu
2023 C conf
Safety Index Synthesis via Sum-of-Squares Programming.
ACC
Weiye Zhao, Tairan He, Tianhao Wei, Simin Liu, Changliu Liu
2023 J jnl
State-wise Constrained Policy Optimization.
CoRR
Weiye Zhao, Rui Chen, Yifan Sun, Tianhao Wei, Changliu Liu
2023 A* conf
State-wise Safe Reinforcement Learning: A Survey.
IJCAI
Weiye Zhao, Tairan He, Rui Chen, Tianhao Wei, Changliu Liu
2023 J jnl
State-wise Safe Reinforcement Learning: A Survey.
CoRR
Weiye Zhao, Tairan He, Rui Chen, Tianhao Wei, Changliu Liu
2023 — conf
Zero-Shot Transferable and Persistently Feasible Safe Control for High Dimensional Systems by Consistent Abstraction.
CDC
Tianhao Wei, Shucheng Kang, Ruixuan Liu, Changliu Liu
2023 J jnl
Zero-shot Transferable and Persistently Feasible Safe Control for High Dimensional Systems by Consistent Abstraction.
CoRR
Tianhao Wei, Shucheng Kang, Ruixuan Liu, Changliu Liu
2022 A conf
A Composable Framework for Policy Design, Learning, and Transfer Toward Safe and Efficient Industrial Insertion.
IROS
Rui Chen, Chenxi Wang, Tianhao Wei, Changliu Liu
2022 J jnl
A Composable Framework for Policy Design, Learning, and Transfer Toward Safe and Efficient Industrial Insertion.
CoRR
Rui Chen, Chenxi Wang, Tianhao Wei, Changliu Liu
2022 J jnl
Robust Safe Control for Uncertain Dynamic Models.
CoRR
Tianhao Wei, Shucheng Kang, Weiye Zhao, Changliu Liu
2022 — conf
Safe Control with Neural Network Dynamic Models.
L4DC
Tianhao Wei, Changliu Liu
2022 J jnl
Safety Index Synthesis via Sum-of-Squares Programming.
CoRR
Weiye Zhao, Tairan He, Tianhao Wei, Simin Liu, Changliu Liu
2021 J jnl
Online Verification of Deep Neural Networks under Domain or Weight Shift.
CoRR
Tianhao Wei, Changliu Liu
2021 J jnl
Safe Control with Neural Network Dynamic Models.
CoRR
Tianhao Wei, Changliu Liu
2019 C conf
AGen: Adaptable Generative Prediction Networks for Autonomous Driving.
IV
Wenwen Si, Tianhao Wei, Changliu Liu
2019 — conf
Safe Control Algorithms Using Energy Functions: A Uni ed Framework, Benchmark, and New Directions.
CDC
Tianhao Wei, Changliu Liu
2019 J jnl
Safe Control Algorithms Using Energy Functions: A Unified Framework, Benchmark, and New Directions.
CoRR
Tianhao Wei, Changliu Liu
2018 A* conf
Flow Guided Recurrent Neural Encoder for Video Salient Object Detection.
CVPR
Guanbin Li, Yuan Xie, Tianhao Wei, Keze Wang, Liang Lin
2018 B conf
How Local Information Improves Rendezvous in Cognitive Radio Networks.
SECON
Yongqin Fu, Yuexuan Wang, Zhaoquan Gu, Xiaolin Zheng, Tianhao Wei, Zhen Cao, Heming Cui, Francis C. M. Lau