Login / Signup

VeriSiMPL: Verification via biSimulations of MPL Models.

Dieky AdzkiyaAlessandro Abate
Published in: QEST (2013)
Keyphrases
  • probabilistic model
  • website
  • maximum likelihood
  • parameter estimation
  • computational model
  • complex systems
  • model checking
  • computational models
  • prediction model
  • classification models
  • mathematical models