Milan Ganai
- 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
- Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models
2023/03/03 by Milan Ganai, Ganai, Milan, C Hirayama +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)
- Safe and Reliable Training of Learning-Based Aerospace Controllers
2024/07/09 by Udayan Mandal, Mandal, Udayan, Guy Amir +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
- Target-independent XLA optimization using Reinforcement Learning
2023/08/28 by Milan Ganai, Haichen Li, Ganai, Milan +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