Krishna Chaitanya Kalagarla

18 papers A* 1A 2C 1Journal 10Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	A Safe Bayesian Learning Algorithm for Constrained MDPs with Bounded Constraint Violation. AISTATS Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo
2025	J	`jnl`	Optimal Control of Logically Constrained Partially Observable and Multiagent Markov Decision Processes. IEEE Trans. Autom. Control. Krishna Chaitanya Kalagarla, Dhruva Kartik, Dongming Shen, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo
2025	—	`conf`	SAVER: A Toolbox for SAmpling-Based, Probabilistic VERification of Neural Networks. HSCC Vignesh Sivaramakrishnan, Krishna Chaitanya Kalagarla, Rosalyn A. Devonport, Joshua Pilipovsky, Panagiotis Tsiotras, Meeko Oishi
2024	—	`conf`	Compositional Planning for Logically Constrained Multi-Agent Markov Decision Processes. CDC Krishna Chaitanya Kalagarla, Matthew Low, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo
2024	J	`jnl`	Compositional Planning for Logically Constrained Multi-Agent Markov Decision Processes. CoRR Krishna Chaitanya Kalagarla, Matthew Low, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo
2024	J	`jnl`	SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks. CoRR Vignesh Sivaramakrishnan, Krishna Chaitanya Kalagarla, Rosalyn A. Devonport, Joshua Pilipovsky, Panagiotis Tsiotras, Meeko Oishi
2023	J	`jnl`	Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes. CoRR Krishna Chaitanya Kalagarla, Dhruva Kartik, Dongming Shen, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo
2023	J	`jnl`	Safe Posterior Sampling for Constrained MDPs with Bounded Constraint Violation. CoRR Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo
2022	J	`jnl`	Optimal Control of Partially Observable Markov Decision Processes with Finite Linear Temporal Logic Constraints. CoRR Krishna Chaitanya Kalagarla, Dhruva Kartik, Dongming Shen, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo
2022	A	`conf`	Optimal control of partially observable Markov decision processes with finite linear temporal logic constraints. UAI Krishna Chaitanya Kalagarla, Dhruva Kartik, Dongming Shen, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo
2022	—	`conf`	Practical Control Design for the Deep Learning Age: Distillation of Deep RL-Based Controllers. Allerton Nathan Dahlin, Kevin Chang, Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo
2021	A*	`conf`	A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints. AAAI Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo
2021	—	`conf`	Model-Free Reinforcement Learning for Optimal Control of Markov Decision Processes Under Signal Temporal Logic Specifications. CDC Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo
2021	J	`jnl`	Model-Free Reinforcement Learning for Optimal Control of MarkovDecision Processes Under Signal Temporal Logic Specifications. CoRR Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo
2021	C	`conf`	Optimal Control of Discounted-Reward Markov Decision Processes Under Linear Temporal Logic Specifications. ACC Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo
2020	J	`jnl`	A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints. CoRR Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo
2020	J	`jnl`	Designing Interpretable Approximations to Deep Reinforcement Learning with Soft Decision Trees. CoRR Nathan Dahlin, Krishna Chaitanya Kalagarla, Nikhil Naik, Rahul Jain, Pierluigi Nuzzo
2020	J	`jnl`	Synthesis of Discounted-Reward Optimal Policies for Markov Decision Processes Under Linear Temporal Logic Specifications. CoRR Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo