Data-driven Safety Verification of Stochastic Systems via Barrier Certificates

Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani +1

In this paper, we propose a data-driven approach to formally verify the safety of (potentially) unknown discrete-time continuous-space stochastic systems. The proposed framework is…