• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Formal testing theory of stochastic systems under maximality semantics.

Kenza BouaroudjDjamel-Eddine SaïdouniIlham Kitouni
Published in: Int. J. Comput. Aided Eng. Technol. (2015)
Keyphrases
  • stochastic systems
  • model theoretic
  • conservation laws
  • test set
  • stochastic models
  • confidence intervals
  • sample path
  • training data
  • probabilistic model
  • upper bound
  • random variables
  • closed loop