Qin, Zhizhen

1. SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions
   2024/10/27 by Hongchao Zhang, Zhizhen Qin, Zhang, Hongchao +4 · 7 citations
   Engineering · Computer Science · #Advanced Memory and Neural Computing #CCD and CMOS Imaging Sensors #Neural Networks and Reservoir Computing
2. Patching Approximately Safe Value Functions Leveraging Local Hamilton-Jacobi Reachability Analysis
   2023/04/19 by Sander Tonkens, Alex Toofanian, Tonkens, Sander +7 · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Reinforcement Learning in Robotics #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Policy Optimization with Advantage Regularization for Long-Term Fairness in Decision Systems
   2022/10/22 by Yu, Eric Yang, Qin, Zhizhen, Lee, Min Kyung +1 · 1 citation
   #Artificial Intelligence (cs.AI) #Computers and Society (cs.CY) #FOS: Computer and information sciences #Machine Learning (cs.LG)
4. Estimating Control Barriers from Offline Data
   2025/02/21 by Yu, Hongzhan, Farrell, Seth, Yoshimitsu, Ryo +3 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering