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

Ali Salamati Abolfazl Lavaei Sadegh Soudjani Majid Zamani

Published in: ADHS (2021)

Keyphrases

stochastic systems
data driven
stochastic models
conservation laws
model checking
confidence intervals
sample path
markov chain
error rate
public key
chaotic systems