On the Complexity of Reachability in Parametric Markov Decision Processes (Q5875375)
From MaRDI portal
scientific article; zbMATH DE number 7649922
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the Complexity of Reachability in Parametric Markov Decision Processes |
scientific article; zbMATH DE number 7649922 |
Statements
3 February 2023
0 references
parametric Markov decision processes
0 references
formal verification
0 references
ETR
0 references
complexity
0 references
On the Complexity of Reachability in Parametric Markov Decision Processes (English)
0 references
0 references
0 references
