Login / Signup

HASL: an expressive language for statistical verification of stochastic models.

Paolo BallariniHilal DjafriMarie DuflotSerge HaddadNihal Pekergin
Published in: VALUETOOLS (2011)
Keyphrases
  • stochastic models
  • stochastic model
  • stochastic processes
  • natural language
  • higher order
  • statistical analysis
  • feature extraction
  • data sources
  • information extraction
  • marginal distributions