Wei, Tianhao
- State-wise Safe Reinforcement Learning: A Survey
2023/02/06 by Weiye Zhao, Zhao, Weiye, Tairan He +7 · 4 citations
Engineering · Psychology · #Autonomous Vehicle Technology and Safety #Safety Systems Engineering in Autonomy #Human-Automation Interaction and Safety
- Safe Control with Neural Network Dynamic Models
2021/10/03 by Tianhao Wei, Wei, Tianhao, Changliu Liu +1 · 2 citations
Computer Science · Engineering · #Advanced Control Systems Optimization #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Machine Learning (cs.LG) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
2024/10/04 by Hanjiang Hu, Yujie Yang, Hu, Hanjiang +5 · 4 citations
Computer Science · Engineering · #Control Systems and Identification #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (cs.LG) #Neural Networks and Applications #Optimization and Control (math.OC) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Persistently Feasible Robust Safe Control by Safety Index Synthesis and Convex Semi-Infinite Programming
2022/09/14 by Tianhao Wei, Wei, Tianhao, Shucheng Kang +5 · 2 citations
Decision Sciences · Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #Fault Detection and Control Systems #Risk and Safety Analysis #Robotics (cs.RO)
- GUARD: A Safe Reinforcement Learning Benchmark
2023/05/23 by Weiye Zhao, Zhao, Weiye, Yifan Sun +10 · 2 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #Machine Learning (cs.LG) #Reinforcement Learning in Robotics #Robotics (cs.RO)
- Safe Control Algorithms Using Energy Functions: A Unified Framework, Benchmark, and New Directions
2019/08/05 by Wei, Tianhao, Liu, Changliu · 1 citation
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Online Verification of Deep Neural Networks under Domain Shift or Network Updates
2021/06/24 by Wei, Tianhao, Liu, Changliu · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis
2024/07/30 by Yujie Yang, Hanjiang Hu, Yang, Yujie +7 · 2 citations
Computer Science · #Neural Networks and Applications
- Safety Index Synthesis via Sum-of-Squares Programming
2022/09/19 by Zhao, Weiye, He, Tairan, Wei, Tianhao +2 · 1 citation
#FOS: Computer and information sciences #Robotics (cs.RO)
- Meta-Control: Automatic Model-based Control Synthesis for Heterogeneous Robot Skills
2024/05/18 by Tianhao Wei, Wei, Tianhao, Liqian Ma +7 · 1 citation
Engineering · Computer Science · #Advanced Control Systems Optimization #Modeling and Simulation Systems
- ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
2024/06/30 by Wei, Tianhao, Hu, Hanjiang, Marzari, Luca +4 · 1 citation
#FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE)