Computing Cumulative Rewards Using Fast Adaptive Uniformization (Q5270731)
From MaRDI portal
scientific article; zbMATH DE number 6738125
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computing Cumulative Rewards Using Fast Adaptive Uniformization |
scientific article; zbMATH DE number 6738125 |
Statements
Computing Cumulative Rewards Using Fast Adaptive Uniformization (English)
0 references
30 June 2017
0 references
DNA computation
0 references
DNA strand displacement
0 references
Markov models
0 references
probabilistic model checking
0 references
fast adaptive uniformisation
0 references
quantitative model checking
0 references
0 references
