Benchmarking Explicit State Parallel Model Checkers.
Michael D. JonesEric MercerTonglaga BaoRahul KumarPeter LambornPublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- mathematical model
- computational model
- high level
- probabilistic model
- information retrieval
- formal model
- sensitivity analysis
- cost function
- autoregressive
- neural network
- linear model
- kalman filter
- experimental data
- statistical model
- theoretical analysis
- probability distribution
- control system
- artificial neural networks
- multi agent
- learning algorithm
- genetic algorithm