Mandal, Udayan
- Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
2024/05/22 by Mandal, Udayan, Amir, Guy, Wu, Haoze +9 · 4 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
- 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