On the Construction of Barrier Certificate: A Dynamic Programming Perspective

Yu Chen, Shaoyuan Li, Xiang Yin

In this paper, we revisit the formal verification problem for stochastic dynamical systems over finite horizon using barrier certificates. Most existing work on this topic focuses…