Cost Preserving Bisimulations for Probabilistic Automata (Q5892065)
From MaRDI portal
scientific article; zbMATH DE number 6386950
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cost Preserving Bisimulations for Probabilistic Automata |
scientific article; zbMATH DE number 6386950 |
Statements
Cost Preserving Bisimulations for Probabilistic Automata (English)
0 references
15 January 2015
0 references
Markov decision processes
0 references
formal verification
0 references
rewards
0 references
bisimulation
0 references
