32 citations · 92 across the 26 of their papers we have counts for
4 papers · 1 filter
Synthesis of Discounted-Reward Optimal Policies for Markov Decision Processes Under Linear Temporal Logic Specifications
Krishna C. Kalagarla, Rahul Jain, Pierluigi Nuzzo
We present a method to find an optimal policy with respect to a reward function for a discounted Markov decision process under general linear temporal logic (LTL) specifications. P…
SANSCrypt: A Sporadic-Authentication-Based Sequential Logic Encryption Scheme
Yinghua Hu, Kaixin Yang, Shahin Nazarian +1
We propose SANSCrypt, a novel sequential logic encryption scheme to protect integrated circuits against reverse engineering. Previous sequential encryption methods focus on modifyi…
Designing Interpretable Approximations to Deep Reinforcement Learning
Nathan Dahlin, Krishna Chaitanya Kalagarla, Nikhil Naik +2
In an ever expanding set of research and application areas, deep neural networks (DNNs) set the bar for algorithm performance. However, depending upon additional constraints such a…
A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints
Krishna C. Kalagarla, Rahul Jain, Pierluigi Nuzzo
Constrained Markov Decision Processes (CMDPs) formalize sequential decision-making problems whose objective is to minimize a cost function while satisfying constraints on various c…