π€ AI Summary
This paper studies constrained Markov decision processes (C-MDPs) with inequality constraints under non-i.i.d. (Markovian) sampling. For the function approximation setting, we propose two three-timescale algorithms: Constrained Actor-Critic (C-AC) and Constrained Natural Actor-Critic (C-NAC). We establish, for the first time, non-asymptotic convergence guarantees for constrained AC/NAC-type algorithms under Markovian sampling, rigorously proving that both algorithms converge to a first-order stationary point of the Lagrangian with sample complexity $O(varepsilon^{-2.5})$. Our analysis unifies Lagrangian duality, natural policy gradients, Markovian noise control, and multi-timescale stochastic approximation. Experiments on the Safety-Gym benchmark demonstrate the algorithmsβ effectiveness in satisfying constraints while maintaining stable policy performance.
π Abstract
Actor Critic methods have found immense applications on a wide range of Reinforcement Learning tasks especially when the state-action space is large. In this paper, we consider actor critic and natural actor critic algorithms with function approximation for constrained Markov decision processes (C-MDP) involving inequality constraints and carry out a non-asymptotic analysis for both of these algorithms in a non-i.i.d (Markovian) setting. We consider the long-run average cost criterion where both the objective and the constraint functions are suitable policy-dependent long-run averages of certain prescribed cost functions. We handle the inequality constraints using the Lagrange multiplier method. We prove that these algorithms are guaranteed to find a first-order stationary point (i.e., $Vert
abla L( heta,gamma)Vert_2^2 leq epsilon$) of the performance (Lagrange) function $L( heta,gamma)$, with a sample complexity of $mathcal{ ilde{O}}(epsilon^{-2.5})$ in the case of both Constrained Actor Critic (C-AC) and Constrained Natural Actor Critic (C-NAC) algorithms. We also show the results of experiments on three different Safety-Gym environments.