Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach.

Ali Salamati Majid Zamani

Published in: L4DC (2022)

Keyphrases

stochastic systems
data driven
stochastic models
conservation laws
sample path
confidence intervals
model checking
public key
stochastic processes
asymptotic analysis