Krishna C. Kalagarla

1. A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with\n Constraints
   2020/09/23 by Krishna C. Kalagarla, Rahul Jain, Kalagarla, Krishna C. +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
2. SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks
   2024/12/04 by Vignesh Sivaramakrishnan, Krishna C. Kalagarla, Sivaramakrishnan, Vignesh +9 · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)