Using Models to Model-Check Recursive Schemes.
Sylvain SalvatiIgor WalukiewiczPublished in: TLCA (2013)
Keyphrases
- probabilistic model
- experimental data
- statistical model
- generic model
- computational model
- parameter estimation
- hybrid model
- statistical models
- high level
- cost function
- metamodel
- goodness of fit
- formal model
- model construction
- linear regression
- computational models
- neural network model
- bayesian framework
- linear models
- linear model
- autoregressive
- stochastic model
- data sets
- modeling method
- hierarchical model
- modeling framework
- domain models
- parametric models
- monte carlo simulation
- statistical methods
- conceptual model
- network structure
- process model
- em algorithm
- management system
- prior knowledge
- similarity measure
- image sequences
- genetic algorithm