Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement (Q5348126)
From MaRDI portal
scientific article; zbMATH DE number 6760087
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement |
scientific article; zbMATH DE number 6760087 |
Statements
Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement (English)
0 references
14 August 2017
0 references
policy refinement
0 references
approximate probabilistic simulation relations
0 references
correct-by-construction
0 references
verification
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
