Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963463524> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2963463524 startingPage "14" @default.
- W2963463524 abstract "Graph games provide the foundation for modeling and synthesis of reactive processes. Such games are played over graphs where the vertices are controlled by two adversarial players. We consider graph games where the objective of the first player is the conjunction of a qualitative objective (specified as a parity condition) and a quantitative objective (specified as a mean-payoff condition). There are two variants of the problem, namely, the threshold problem where the quantitative goal is to ensure that the mean-payoff value is above a threshold, and the value problem where the quantitative goal is to ensure the optimal mean-payoff value; in both cases ensuring the qualitative parity objective. The previous best-known algorithms for game graphs with n vertices, m edges,parity objectives with d priorities, and maximal absolute reward value W for mean-payoff objectives, are as follows: O(n^(d+1)·m·W) for the threshold problem, and O(n^(d+2)·m·W) for the value problem. Our main contributions are faster algorithms, and the running times of our algorithms are as follows: O(n^(d-1)·m·W) for the threshold problem, and O(n^d·m·W·log(n·W)) for the value problem. For mean-payoff parity objectives with two priorities, our algorithms match the best-known bounds of the algorithms for mean-payoff games (without conjunction with parity objectives). Our results are relevant in synthesis of reactive systems with both functional requirement (given as a qualitative objective) and performance requirement (given as a quantitative objective)." @default.
- W2963463524 created "2019-07-30" @default.
- W2963463524 creator A5003641345 @default.
- W2963463524 creator A5052607806 @default.
- W2963463524 creator A5069174154 @default.
- W2963463524 date "2017-01-01" @default.
- W2963463524 modified "2023-10-07" @default.
- W2963463524 title "Faster algorithms for mean payoff parity games" @default.
- W2963463524 doi "https://doi.org/10.4230/lipics.mfcs.2017.39" @default.
- W2963463524 hasPublicationYear "2017" @default.
- W2963463524 type Work @default.
- W2963463524 sameAs 2963463524 @default.
- W2963463524 citedByCount "0" @default.
- W2963463524 crossrefType "proceedings-article" @default.
- W2963463524 hasAuthorship W2963463524A5003641345 @default.
- W2963463524 hasAuthorship W2963463524A5052607806 @default.
- W2963463524 hasAuthorship W2963463524A5069174154 @default.
- W2963463524 hasConcept C109214941 @default.
- W2963463524 hasConcept C11413529 @default.
- W2963463524 hasConcept C114614502 @default.
- W2963463524 hasConcept C118615104 @default.
- W2963463524 hasConcept C121332964 @default.
- W2963463524 hasConcept C126255220 @default.
- W2963463524 hasConcept C132525143 @default.
- W2963463524 hasConcept C144237770 @default.
- W2963463524 hasConcept C22171661 @default.
- W2963463524 hasConcept C2777151079 @default.
- W2963463524 hasConcept C33923547 @default.
- W2963463524 hasConcept C41008148 @default.
- W2963463524 hasConceptScore W2963463524C109214941 @default.
- W2963463524 hasConceptScore W2963463524C11413529 @default.
- W2963463524 hasConceptScore W2963463524C114614502 @default.
- W2963463524 hasConceptScore W2963463524C118615104 @default.
- W2963463524 hasConceptScore W2963463524C121332964 @default.
- W2963463524 hasConceptScore W2963463524C126255220 @default.
- W2963463524 hasConceptScore W2963463524C132525143 @default.
- W2963463524 hasConceptScore W2963463524C144237770 @default.
- W2963463524 hasConceptScore W2963463524C22171661 @default.
- W2963463524 hasConceptScore W2963463524C2777151079 @default.
- W2963463524 hasConceptScore W2963463524C33923547 @default.
- W2963463524 hasConceptScore W2963463524C41008148 @default.
- W2963463524 hasLocation W29634635241 @default.
- W2963463524 hasOpenAccess W2963463524 @default.
- W2963463524 hasPrimaryLocation W29634635241 @default.
- W2963463524 hasRelatedWork W1490753406 @default.
- W2963463524 hasRelatedWork W1519147557 @default.
- W2963463524 hasRelatedWork W1902461641 @default.
- W2963463524 hasRelatedWork W2041261743 @default.
- W2963463524 hasRelatedWork W2047512575 @default.
- W2963463524 hasRelatedWork W2397162167 @default.
- W2963463524 hasRelatedWork W2472051997 @default.
- W2963463524 hasRelatedWork W2579156429 @default.
- W2963463524 hasRelatedWork W2612744403 @default.
- W2963463524 hasRelatedWork W2952208555 @default.
- W2963463524 hasRelatedWork W2952783913 @default.
- W2963463524 hasRelatedWork W2959678280 @default.
- W2963463524 hasRelatedWork W2963204502 @default.
- W2963463524 hasRelatedWork W2968389424 @default.
- W2963463524 hasRelatedWork W2970019760 @default.
- W2963463524 hasRelatedWork W3082547220 @default.
- W2963463524 hasRelatedWork W3161635731 @default.
- W2963463524 hasRelatedWork W67698512 @default.
- W2963463524 hasRelatedWork W2130961330 @default.
- W2963463524 hasRelatedWork W3094697381 @default.
- W2963463524 hasVolume "83" @default.
- W2963463524 isParatext "false" @default.
- W2963463524 isRetracted "false" @default.
- W2963463524 magId "2963463524" @default.
- W2963463524 workType "article" @default.