No label defined (Q2965484)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
3 March 2017
0 references
two-player games on graphs
0 references
Markov decision processes
0 references
quantitative objectives
0 references
synthesis
0 references
worst-case and expected value
0 references
mean-payoff
0 references
shortest path
0 references
