Model checking Markov population models by stochastic approximations (Q1784959)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6944940
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Model checking Markov population models by stochastic approximations |
scientific article; zbMATH DE number 6944940 |
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
0.8565133213996887
0 references
0.8173355460166931
0 references
0.8046368360519409
0 references
0.7913417816162109
0 references
