Abstraction Based Safety for Markov Decision Processes
摘要
In this paper, we introduce a novel approach to ensure the safety of Markov Decision Processes (MDPs) using an abstraction function. This function conceals the underlying transition structure of the process, and our methods rely on utilizing an observation (abstraction) function provided for the process.