Jiameng Fan

1. POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems
   2021/06/25 by Chao Huang, Huang, Chao, Jiameng Fan +8 · 3 citations
   Computer Science · Physics and Astronomy · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Machine Learning (cs.LG) #Model Reduction and Neural Networks #Systems and Control (eess.SY) #electronic engineering #information engineering
2. ReachNN: Reachability Analysis of Neural-Network Controlled Systems
   2019/06/25 by Chao Huang, Huang, Chao, Jiameng Fan +7 · 1 citation
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Formal Methods in Verification #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
3. DRIBO: Robust Deep Reinforcement Learning via Multi-View Information Bottleneck
   2021/02/26 by Jiameng Fan, Wenchao Li, Fan, Jiameng +1 · 1 citation
   Computer Science · #Adaptive Dynamic Programming Control #Artificial Intelligence (cs.AI) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Reinforcement Learning in Robotics
4. Safety-Guided Deep Reinforcement Learning via Online Gaussian Process Estimation
   2019/03/06 by Jiameng Fan, Fan, Jiameng, Wenchao Li +1 · 1 voice
   Computer Science · #Advanced Multi-Objective Optimization Algorithms #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Gaussian Processes and Bayesian Inference #Machine Learning (cs.LG) #Reinforcement Learning in Robotics #Robotics (cs.RO) #cs.AI #cs.LG #cs.RO