Computing Probabilistic Bisimilarity Distances via Policy Iteration (Q4608674)
From MaRDI portal
scientific article; zbMATH DE number 6851944
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computing Probabilistic Bisimilarity Distances via Policy Iteration |
scientific article; zbMATH DE number 6851944 |
Statements
21 March 2018
0 references
labelled Markov chain
0 references
simple stochastic game
0 references
probabilistic bisimilarity
0 references
pseudometric
0 references
value function
0 references
policy iteration
0 references
Computing Probabilistic Bisimilarity Distances via Policy Iteration (English)
0 references
