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…