Model checking Markov population models by stochastic approximations (Q1784959)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Model checking Markov population models by stochastic approximations |
scientific article |
Statements
Model checking Markov population models by stochastic approximations (English)
0 references
27 September 2018
0 references
stochastic model checking
0 references
fluid model checking
0 references
stochastic approximation
0 references
moment closure
0 references
linear noise
0 references
population models
0 references
maximum entropy
0 references
0 references
0 references
0 references
0 references
0 references
