SHAVE: stochastic hybrid analysis of markov population models.
Maksim LapinLinar MikeevVerena WolfPublished in: HSCC (2011)
Keyphrases
- markov processes
- search engine
- data sets
- model validation
- semi markov
- accurate models
- empirical data
- autoregressive
- quantitative analysis
- statistical models
- statistical analysis
- probabilistic model
- image analysis
- reinforcement learning
- artificial intelligence
- parameter estimation
- statistical model
- experimental data
- model selection
- stochastic processes
- website
- stochastic models
- machine learning
- real time