Multi-cost bounded tradeoff analysis in MDP (Q2208304)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Multi-cost bounded tradeoff analysis in MDP |
scientific article |
Statements
Multi-cost bounded tradeoff analysis in MDP (English)
0 references
2 November 2020
0 references
Markov decision process
0 references
multi-objective verification
0 references
Pareto-optimal strategies
0 references
cost-bounded reachability
0 references
expected rewards
0 references
probabilistic model checking
0 references
0 references
0 references
0 references
0 references
