Login / Signup
HASL: an expressive language for statistical verification of stochastic models.
Paolo Ballarini
Hilal Djafri
Marie Duflot
Serge Haddad
Nihal 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