edec7eeb851fcf354ec6 · DeepFit: automated distribution fitting for building stochastic modelsDeepFit: automated distribution fitting for building stochastic models
DeepFit: automated distribution fitting for building stochastic modelsDeepFit: automated distribution fitting for building stochastic models
Statistical model checking (SMC) is a formal verification method that combines simulations with statistical techniques to provide quantitative answers on whether a stochastic system satisfies some requirements with a controllable accuracy. SMC takes three
{
"title_en": "DeepFit: automated distribution fitting for building stochastic modelsDeepFit: automated distribution fitting for building stochastic models",
"designation": "",
"series": "",
"status": "",
"date": "2022-04-22",
"date_original": "April 22, 2022",
"url": "https://www.nist.gov/publications/deepfit-automated-distribution-fitting-building-stochastic-modelsdeepfit-automated",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Siham Khoussi , N. Alan Heckert , Saddek Bensalem, Abdella Battou",
"abstract_excerpt_en": "Statistical model checking (SMC) is a formal verification method that combines simulations with statistical techniques to provide quantita\u0002tive answers on whether a stochastic system satisfies some requirements with a controllable accuracy. SMC takes three",
"id": "edec7eeb851fcf354ec6",
"sources": [
"NIST Publications"
],
"source_records": [
{
"title_en": "DeepFit: automated distribution fitting for building stochastic modelsDeepFit: automated distribution fitting for building stochastic models",
"designation": "",
"series": "",
"status": "",
"date": "2022-04-22",
"date_original": "April 22, 2022",
"url": "https://www.nist.gov/publications/deepfit-automated-distribution-fitting-building-stochastic-modelsdeepfit-automated",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Siham Khoussi , N. Alan Heckert , Saddek Bensalem, Abdella Battou",
"abstract_excerpt_en": "Statistical model checking (SMC) is a formal verification method that combines simulations with statistical techniques to provide quantita\u0002tive answers on whether a stochastic system satisfies some requirements with a controllable accuracy. SMC takes three"
}
],
"translation_state": "none"
}