Tianhao Wei

1. 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
2. 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
3. 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
4. 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)
5. GUARD: A Safe Reinforcement Learning Benchmark
   2023/05/23 by Weiye Zhao, Yifan Sun, Zhao, Weiye +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)
6. 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
7. Meta-Control: Automatic Model-based Control Synthesis for Heterogeneous Robot Skills
   2024/05/18 by Tianhao Wei, Liqian Ma, Wei, Tianhao +7 · 1 citation
   Engineering · Computer Science · #Advanced Control Systems Optimization #Modeling and Simulation Systems