Sign in

Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems.

Abolfazl LavaeiSadegh SoudjaniMajid Zamani
Published in: NSV@CAV (2019)
Keyphrases
  • stochastic systems
  • stopping rules
  • stochastic models
  • conservation laws
  • bayesian networks
  • sample path
  • probabilistic model
  • confidence intervals
  • generative model
  • training data