$k$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems

Mohammed Adib Oumer, Vishnu Murali, Majid Zamani

In this paper, we introduce two new types of barrier certificates that are based on multiple functions rather than a single one. A conventional barrier certificate for a stochastic…