Matches in SemOpenAlex for { <https://semopenalex.org/work/W1490753406> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1490753406 endingPage "327" @default.
- W1490753406 startingPage "312" @default.
- W1490753406 abstract "Mean-payoff games play a central role in quantitative synthesis and verification. In a single-dimensional game a weight is assigned to every transition and the objective of the protagonist is to assure a non-negative limit-average weight. In the multidimensional setting, a weight vector is assigned to every transition and the objective of the protagonist is to satisfy a boolean condition over the limit-average weight of each dimension, e.g., LimAvg(x 1) ≤ 0 ∨ LimAvg(x 2) ≥ 0 ∧ LimAvg(x 3) ≥ 0. We recently proved that when one of the players is restricted to finite-memory strategies then the decidability of determining the winner is inter-reducible with Hilbert’s Tenth problem over rationals (a fundamental long-standing open problem). In this work we consider arbitrary (infinite-memory) strategies for both players and show that the problem is undecidable." @default.
- W1490753406 created "2016-06-24" @default.
- W1490753406 creator A5016093552 @default.
- W1490753406 date "2015-01-01" @default.
- W1490753406 modified "2023-09-26" @default.
- W1490753406 title "Robust Multidimensional Mean-Payoff Games are Undecidable" @default.
- W1490753406 cites W144199319 @default.
- W1490753406 cites W1490753406 @default.
- W1490753406 cites W1673045676 @default.
- W1490753406 cites W1738154394 @default.
- W1490753406 cites W1782528461 @default.
- W1490753406 cites W1790689966 @default.
- W1490753406 cites W1818968539 @default.
- W1490753406 cites W1829319030 @default.
- W1490753406 cites W1869554259 @default.
- W1490753406 cites W2008487582 @default.
- W1490753406 cites W2115980619 @default.
- W1490753406 cites W2122393219 @default.
- W1490753406 cites W2133749858 @default.
- W1490753406 cites W2137477742 @default.
- W1490753406 cites W2161687198 @default.
- W1490753406 doi "https://doi.org/10.1007/978-3-662-46678-0_20" @default.
- W1490753406 hasPublicationYear "2015" @default.
- W1490753406 type Work @default.
- W1490753406 sameAs 1490753406 @default.
- W1490753406 citedByCount "9" @default.
- W1490753406 countsByYear W14907534062015 @default.
- W1490753406 countsByYear W14907534062016 @default.
- W1490753406 countsByYear W14907534062017 @default.
- W1490753406 countsByYear W14907534062019 @default.
- W1490753406 countsByYear W14907534062021 @default.
- W1490753406 crossrefType "book-chapter" @default.
- W1490753406 hasAuthorship W1490753406A5016093552 @default.
- W1490753406 hasBestOaLocation W14907534061 @default.
- W1490753406 hasConcept C114614502 @default.
- W1490753406 hasConcept C118615104 @default.
- W1490753406 hasConcept C134306372 @default.
- W1490753406 hasConcept C144237770 @default.
- W1490753406 hasConcept C151201525 @default.
- W1490753406 hasConcept C153269930 @default.
- W1490753406 hasConcept C183877218 @default.
- W1490753406 hasConcept C192034797 @default.
- W1490753406 hasConcept C202444582 @default.
- W1490753406 hasConcept C22171661 @default.
- W1490753406 hasConcept C33676613 @default.
- W1490753406 hasConcept C33923547 @default.
- W1490753406 hasConcept C46875033 @default.
- W1490753406 hasConcept C51568863 @default.
- W1490753406 hasConceptScore W1490753406C114614502 @default.
- W1490753406 hasConceptScore W1490753406C118615104 @default.
- W1490753406 hasConceptScore W1490753406C134306372 @default.
- W1490753406 hasConceptScore W1490753406C144237770 @default.
- W1490753406 hasConceptScore W1490753406C151201525 @default.
- W1490753406 hasConceptScore W1490753406C153269930 @default.
- W1490753406 hasConceptScore W1490753406C183877218 @default.
- W1490753406 hasConceptScore W1490753406C192034797 @default.
- W1490753406 hasConceptScore W1490753406C202444582 @default.
- W1490753406 hasConceptScore W1490753406C22171661 @default.
- W1490753406 hasConceptScore W1490753406C33676613 @default.
- W1490753406 hasConceptScore W1490753406C33923547 @default.
- W1490753406 hasConceptScore W1490753406C46875033 @default.
- W1490753406 hasConceptScore W1490753406C51568863 @default.
- W1490753406 hasLocation W14907534061 @default.
- W1490753406 hasLocation W14907534062 @default.
- W1490753406 hasLocation W14907534063 @default.
- W1490753406 hasOpenAccess W1490753406 @default.
- W1490753406 hasPrimaryLocation W14907534061 @default.
- W1490753406 hasRelatedWork W1490753406 @default.
- W1490753406 hasRelatedWork W1988433433 @default.
- W1490753406 hasRelatedWork W2105918522 @default.
- W1490753406 hasRelatedWork W2949552376 @default.
- W1490753406 hasRelatedWork W2949832532 @default.
- W1490753406 hasRelatedWork W2953310419 @default.
- W1490753406 hasRelatedWork W4289793610 @default.
- W1490753406 hasRelatedWork W4299881585 @default.
- W1490753406 hasRelatedWork W4300876924 @default.
- W1490753406 hasRelatedWork W4300919228 @default.
- W1490753406 isParatext "false" @default.
- W1490753406 isRetracted "false" @default.
- W1490753406 magId "1490753406" @default.
- W1490753406 workType "book-chapter" @default.