Roohi, Nima

1. Neural Lyapunov Control
   2020/05/01 by Ya-Chien Chang, Nima Roohi, Chang, Ya-Chien +3 · 34 citations
   Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Neural Networks and Applications #Neural and Evolutionary Computing (cs.NE) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning
   2020/04/01 by Yu Wang, Wang, Yu, Nima Roohi +7 · 3 citations
   Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research