Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300763960> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W4300763960 abstract "We consider Markov Decision Processes (MDPs) with mean-payoff parity and energy parity objectives. In system design, the parity objective is used to encode omega-regular specifications, and the mean-payoff and energy objectives can be used to model quantitative resource constraints. The energy condition requires that the resource level never drops below 0, and the mean-payoff condition requires that the limit-average value of the resource consumption is within a threshold. While these two (energy and mean-payoff) classical conditions are equivalent for two-player games, we show that they differ for MDPs. We show that the problem of deciding whether a state is almost-sure winning (i.e., winning with probability 1) in energy parity MDPs is in NP cap coNP, while for mean-payoff parity MDPs, the problem is solvable in polynomial time, improving a recent PSPACE bound." @default.
- W4300763960 created "2022-10-04" @default.
- W4300763960 creator A5013106333 @default.
- W4300763960 creator A5052607806 @default.
- W4300763960 date "2011-04-14" @default.
- W4300763960 modified "2023-10-11" @default.
- W4300763960 title "Energy and Mean-Payoff Parity Markov Decision Processes" @default.
- W4300763960 doi "https://doi.org/10.48550/arxiv.1104.2909" @default.
- W4300763960 hasPublicationYear "2011" @default.
- W4300763960 type Work @default.
- W4300763960 citedByCount "0" @default.
- W4300763960 crossrefType "posted-content" @default.
- W4300763960 hasAuthorship W4300763960A5013106333 @default.
- W4300763960 hasAuthorship W4300763960A5052607806 @default.
- W4300763960 hasBestOaLocation W43007639601 @default.
- W4300763960 hasConcept C105795698 @default.
- W4300763960 hasConcept C106189395 @default.
- W4300763960 hasConcept C109214941 @default.
- W4300763960 hasConcept C121332964 @default.
- W4300763960 hasConcept C126255220 @default.
- W4300763960 hasConcept C144237770 @default.
- W4300763960 hasConcept C159886148 @default.
- W4300763960 hasConcept C22171661 @default.
- W4300763960 hasConcept C2777151079 @default.
- W4300763960 hasConcept C33923547 @default.
- W4300763960 hasConcept C98763669 @default.
- W4300763960 hasConceptScore W4300763960C105795698 @default.
- W4300763960 hasConceptScore W4300763960C106189395 @default.
- W4300763960 hasConceptScore W4300763960C109214941 @default.
- W4300763960 hasConceptScore W4300763960C121332964 @default.
- W4300763960 hasConceptScore W4300763960C126255220 @default.
- W4300763960 hasConceptScore W4300763960C144237770 @default.
- W4300763960 hasConceptScore W4300763960C159886148 @default.
- W4300763960 hasConceptScore W4300763960C22171661 @default.
- W4300763960 hasConceptScore W4300763960C2777151079 @default.
- W4300763960 hasConceptScore W4300763960C33923547 @default.
- W4300763960 hasConceptScore W4300763960C98763669 @default.
- W4300763960 hasLocation W43007639601 @default.
- W4300763960 hasLocation W43007639602 @default.
- W4300763960 hasLocation W43007639603 @default.
- W4300763960 hasOpenAccess W4300763960 @default.
- W4300763960 hasPrimaryLocation W43007639601 @default.
- W4300763960 hasRelatedWork W2000849271 @default.
- W4300763960 hasRelatedWork W2031153922 @default.
- W4300763960 hasRelatedWork W2090860674 @default.
- W4300763960 hasRelatedWork W2101130101 @default.
- W4300763960 hasRelatedWork W2162655762 @default.
- W4300763960 hasRelatedWork W2314003728 @default.
- W4300763960 hasRelatedWork W2911700853 @default.
- W4300763960 hasRelatedWork W3198596521 @default.
- W4300763960 hasRelatedWork W4245945791 @default.
- W4300763960 hasRelatedWork W641459143 @default.
- W4300763960 isParatext "false" @default.
- W4300763960 isRetracted "false" @default.
- W4300763960 workType "article" @default.