Sign in

Data-driven verification and synthesis of stochastic systems via barrier certificates.

Ali SalamatiAbolfazl LavaeiSadegh SoudjaniMajid Zamani
Published in: Autom. (2024)
Keyphrases
  • stochastic systems
  • data driven
  • stochastic models
  • conservation laws
  • sample path
  • confidence intervals
  • model checking
  • asymptotic analysis
  • model selection
  • stochastic model