A Formal Method for Testing Reactive System from Symbolic Model.
Yongbing WanZhongwei XuMeng MeiPublished in: AICI (2012)
Keyphrases
- probabilistic model
- objective function
- formal model
- statistical model
- mathematical model
- theoretical analysis
- test data
- input data
- similarity measure
- prior knowledge
- analytical model
- cost function
- hybrid method
- evaluation method
- sensitivity analysis
- high order
- study proposes
- markov model
- bayesian framework
- significant improvement
- parameter space
- high level
- em algorithm
- dynamic programming
- optimization model
- energy function
- parameter estimation
- prediction model
- regression analysis
- hybrid model
- monte carlo simulation
- linear model
- detection method
- evaluation model
- model selection
- preprocessing
- gaussian distribution
- computational complexity
- regression model
- high accuracy
- prior information
- kalman filter
- classification method