Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives (Q4635664)
From MaRDI portal
scientific article; zbMATH DE number 6863137
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives |
scientific article; zbMATH DE number 6863137 |
Statements
Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives (English)
0 references
23 April 2018
0 references
mean-payoff games
0 references
multidimensional quantitative games on graphs
0 references
quantitative synthesis
0 references
