Reach-avoid semi-Markov decision processes with time-varying obstacles

Yanyun Li, Xianping Guo

We consider the maximal reach-avoid probability to a target in finite horizon for semi-Markov decision processes with time-varying obstacles. Since the variance of the obstacle set…