Kalagarla, Krishna C.

1. Model-Free Reinforcement Learning for Optimal Control of MarkovDecision Processes Under Signal Temporal Logic Specifications
   2021/09/27 by Kalagarla, Krishna C., Jain, Rahul, Nuzzo, Pierluigi · 3 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Systems and Control (eess.SY) #electronic engineering #information engineering
2. A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with\n Constraints
   2020/09/23 by Krishna C. Kalagarla, Kalagarla, Krishna C., Rahul Jain +3 · 1 citation
   Computer Science · #Advanced Software Engineering Methodologies #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms #Reinforcement Learning in Robotics #Systems and Control (eess.SY) #electronic engineering #information engineering
3. SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks
   2024/12/04 by Sivaramakrishnan, Vignesh, Kalagarla, Krishna C., Devonport, Rosalyn +3 · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)