Ganai, Milan

1. Iterative Reachability Estimation for Safe Reinforcement Learning
   2023/09/24 by Ganai, Milan, Gong, Zheng, Yu, Chenning +2 · 8 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Robotics (cs.RO)
2. Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
   2024/05/22 by Udayan Mandal, Mandal, Udayan, Guy Amir +21 · 6 citations
   Computer Science · Engineering · #Advanced Control Systems Optimization #Artificial Intelligence (cs.AI) #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. Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey
   2024/07/12 by Ganai, Milan, Gao, Sicun, Herbert, Sylvia · 5 citations
   #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
4. Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models
   2023/03/03 by Milan Ganai, C Hirayama, Ganai, Milan +5 · 2 citations
   Computer Science · Physics and Astronomy · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Model Reduction and Neural Networks #Reinforcement Learning in Robotics #Robotics (cs.RO)
5. Safe and Reliable Training of Learning-Based Aerospace Controllers
   2024/07/09 by Udayan Mandal, Guy Amir, Mandal, Udayan +23 · 3 citations
   Computer Science · Engineering · #Advanced Data Processing Techniques #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Intelligent Tutoring Systems and Adaptive Learning #Logic in Computer Science (cs.LO) #Systems and Control (eess.SY) #electronic engineering #information engineering
6. Target-independent XLA optimization using Reinforcement Learning
   2023/08/28 by Milan Ganai, Ganai, Milan, Haichen Li +7 · 1 citation
   Computer Science · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Machine Learning (cs.LG) #Machine Learning and Data Classification #Parallel Computing and Optimization Techniques