Tianhao Wei

Orcid: 0000-0003-2505-4585

According to our database1, Tianhao Wei authored at least 29 papers between 2018 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
GUARD: A Safe Reinforcement Learning Benchmark.
Trans. Mach. Learn. Res., 2024

State-wise Constrained Policy Optimization.
Trans. Mach. Learn. Res., 2024

Improve Certified Training with Signal-to-Noise Ratio Loss to Decrease Neuron Variance and Increase Neuron Stability.
Trans. Mach. Learn. Res., 2024

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

WeHelp: A Shared Autonomy System for Wheelchair Users.
CoRR, 2024

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

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

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

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

Absolute Policy Optimization: Enhancing Lower Probability Bound of Performance with High Confidence.
Proceedings of the Forty-first International Conference on Machine Learning, 2024

Multimodal Safe Control for Human-Robot Interaction.
Proceedings of the American Control Conference, 2024

2023
Persistently Feasible Robust Safe Control by Safety Index Synthesis and Convex Semi-Infinite Programming.
IEEE Control. Syst. Lett., 2023

Robust Safe Control with Multi-Modal Uncertainty.
CoRR, 2023

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

State-wise Constrained Policy Optimization.
CoRR, 2023

GUARD: A Safe Reinforcement Learning Benchmark.
CoRR, 2023

Building Verified Neural Networks for Computer Systems with Ouroboros.
Proceedings of the Sixth Conference on Machine Learning and Systems, 2023

State-wise Safe Reinforcement Learning: A Survey.
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.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Safety Index Synthesis via Sum-of-Squares Programming.
Proceedings of the American Control Conference, 2023

2022
Robust Safe Control for Uncertain Dynamic Models.
CoRR, 2022

Safe Control with Neural Network Dynamic Models.
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.
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.
CoRR, 2021

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

AGen: Adaptable Generative Prediction Networks for Autonomous Driving.
Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

Safe Control Algorithms Using Energy Functions: A Uni ed Framework, Benchmark, and New Directions.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018
How Local Information Improves Rendezvous in Cognitive Radio Networks.
Proceedings of the 15th Annual IEEE International Conference on Sensing, 2018

Flow Guided Recurrent Neural Encoder for Video Salient Object Detection.
Proceedings of the 2018 IEEE Conference on Computer Vision and Pattern Recognition, 2018


  Loading...