Sign in

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

Ali SalamatiAbolfazl LavaeiSadegh SoudjaniMajid 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