Data-driven Safety Verification of Stochastic Systems via Barrier Certificates.

Ali Salamati Abolfazl Lavaei Sadegh Soudjani Majid Zamani

Published in: CoRR (2021)

Keyphrases

stochastic systems
data driven
stochastic models
conservation laws
confidence intervals
model checking
sample path
reinforcement learning
parameter estimation
sample size