3 papers
cs.LG2026
Provably Safe Reinforcement Learning for Stochastic Reach-Avoid Problems with Entropy Regularization
Abhijit Mazumdar, Rafal Wisniewski, Manuela L. Bujorianu
We consider the problem of learning the optimal policy for Markov decision processes with safety constraints. We formulate the problem in a reach-avoid setup. Our goal is to design…
eess.SY2025
Data-Driven Robust Safety Verification for Markov Decision Processes
Abhijit Mazumdar, Manuela L. Bujorianu, Rafal Wisniewski
In this paper, we propose a data-driven robust safety verification framework for stochastic dynamical systems modeled as Markov decision processes with time-varying and uncertain t…
eess.SY2024
Distributionally Robust Safety Verification for Markov Decision Processes
Abhijit Mazumdar, Yuting Hou, Rafal Wisniewski
In this paper, we propose a distributionally robust safety verification method for Markov decision processes where only an ambiguous transition kernel is available instead of the p…