Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives (Q4635664)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives |
scientific article; zbMATH DE number 6863137
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8835411
0 references
0.88196945
0 references
0.86578476
0 references
0.86173344
0 references
0.85568964
0 references
0.8535477
0 references
0.84590626
0 references
0 references
0.84164333
0 references
