1 citations · 1 across the 5 of their papers we have counts for
3 papers · 1 filter
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…
Large Deviations in Safety-Critical Systems with Probabilistic Initial Conditions
Aitor R. Gomez, Manuela L. Bujorianu, Rafal Wisniewski
We often rely on probabilistic measures -- e.g. event probability or expected time -- to characterize systems' safety. However, determining these quantities for extremely low-proba…
Safe Reinforcement Learning for Constrained Markov Decision Processes with Stochastic Stopping Time
Abhijit Mazumdar, Rafal Wisniewski, Manuela L. Bujorianu
In this paper, we present an online reinforcement learning algorithm for constrained Markov decision processes with a safety constraint. Despite the necessary attention of the scie…