Probabilistic Safety Guarantee for Stochastic Control Systems Using Average Reward MDPs

Saber Omidi, Marek Petrik, Se Young Yoon +1

Safety in stochastic control systems, which are subject to random noise with a known probability distribution, aims to compute policies that satisfy predefined operational constrai…