Matches in SemOpenAlex for { <https://semopenalex.org/work/W1521551618> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1521551618 abstract "Games played on graphs may have qualitative objectives, such as the satisfaction of an /spl omega/-regular property, or quantitative objectives, such as the optimization of a real-valued reward. When games are used to model reactive systems with both fairness assumptions and quantitative (e.g., resource) constraints, then the corresponding objective combines both a qualitative and a quantitative component. In a general case of interest, the qualitative component is a parity condition and the quantitative component is a mean-payoff reward. We study and solve such mean-payoff parity games. We also prove some interesting facts about mean-payoff parity games which distinguish them both from mean-payoff and from parity games. In particular, we show that optimal strategies exist in mean-payoff parity games, but they may require infinite memory." @default.
- W1521551618 created "2016-06-24" @default.
- W1521551618 creator A5052607806 @default.
- W1521551618 creator A5073411912 @default.
- W1521551618 creator A5080555605 @default.
- W1521551618 date "2006-10-11" @default.
- W1521551618 modified "2023-09-27" @default.
- W1521551618 title "Mean-Payoff Parity Games" @default.
- W1521551618 cites W1491037212 @default.
- W1521551618 cites W1506588809 @default.
- W1521551618 cites W1536187134 @default.
- W1521551618 cites W1756169151 @default.
- W1521551618 cites W1816620374 @default.
- W1521551618 cites W1966347268 @default.
- W1521551618 cites W1971499713 @default.
- W1521551618 cites W1979349468 @default.
- W1521551618 cites W2016206563 @default.
- W1521551618 cites W2026128612 @default.
- W1521551618 cites W2048905609 @default.
- W1521551618 cites W2170933628 @default.
- W1521551618 cites W2914000465 @default.
- W1521551618 cites W4212901716 @default.
- W1521551618 cites W4236251966 @default.
- W1521551618 cites W4248784701 @default.
- W1521551618 doi "https://doi.org/10.1109/lics.2005.26" @default.
- W1521551618 hasPublicationYear "2006" @default.
- W1521551618 type Work @default.
- W1521551618 sameAs 1521551618 @default.
- W1521551618 citedByCount "78" @default.
- W1521551618 countsByYear W15215516182012 @default.
- W1521551618 countsByYear W15215516182013 @default.
- W1521551618 countsByYear W15215516182014 @default.
- W1521551618 countsByYear W15215516182015 @default.
- W1521551618 countsByYear W15215516182016 @default.
- W1521551618 countsByYear W15215516182017 @default.
- W1521551618 countsByYear W15215516182018 @default.
- W1521551618 countsByYear W15215516182019 @default.
- W1521551618 countsByYear W15215516182020 @default.
- W1521551618 countsByYear W15215516182021 @default.
- W1521551618 countsByYear W15215516182022 @default.
- W1521551618 countsByYear W15215516182023 @default.
- W1521551618 crossrefType "proceedings-article" @default.
- W1521551618 hasAuthorship W1521551618A5052607806 @default.
- W1521551618 hasAuthorship W1521551618A5073411912 @default.
- W1521551618 hasAuthorship W1521551618A5080555605 @default.
- W1521551618 hasBestOaLocation W15215516182 @default.
- W1521551618 hasConcept C109214941 @default.
- W1521551618 hasConcept C121332964 @default.
- W1521551618 hasConcept C126255220 @default.
- W1521551618 hasConcept C144237770 @default.
- W1521551618 hasConcept C168167062 @default.
- W1521551618 hasConcept C22171661 @default.
- W1521551618 hasConcept C2777151079 @default.
- W1521551618 hasConcept C33923547 @default.
- W1521551618 hasConcept C41008148 @default.
- W1521551618 hasConcept C97355855 @default.
- W1521551618 hasConceptScore W1521551618C109214941 @default.
- W1521551618 hasConceptScore W1521551618C121332964 @default.
- W1521551618 hasConceptScore W1521551618C126255220 @default.
- W1521551618 hasConceptScore W1521551618C144237770 @default.
- W1521551618 hasConceptScore W1521551618C168167062 @default.
- W1521551618 hasConceptScore W1521551618C22171661 @default.
- W1521551618 hasConceptScore W1521551618C2777151079 @default.
- W1521551618 hasConceptScore W1521551618C33923547 @default.
- W1521551618 hasConceptScore W1521551618C41008148 @default.
- W1521551618 hasConceptScore W1521551618C97355855 @default.
- W1521551618 hasLocation W15215516181 @default.
- W1521551618 hasLocation W15215516182 @default.
- W1521551618 hasLocation W15215516183 @default.
- W1521551618 hasOpenAccess W1521551618 @default.
- W1521551618 hasPrimaryLocation W15215516181 @default.
- W1521551618 hasRelatedWork W1503292914 @default.
- W1521551618 hasRelatedWork W153079438 @default.
- W1521551618 hasRelatedWork W1576145817 @default.
- W1521551618 hasRelatedWork W2112207363 @default.
- W1521551618 hasRelatedWork W2360796461 @default.
- W1521551618 hasRelatedWork W2379533788 @default.
- W1521551618 hasRelatedWork W2515231375 @default.
- W1521551618 hasRelatedWork W2591816347 @default.
- W1521551618 hasRelatedWork W3124338094 @default.
- W1521551618 hasRelatedWork W3191963346 @default.
- W1521551618 isParatext "false" @default.
- W1521551618 isRetracted "false" @default.
- W1521551618 magId "1521551618" @default.
- W1521551618 workType "article" @default.