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…