FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949308082> ?p ?o ?g. }

• W2949308082 abstract "We consider Markov decision processes (MDPs) with $omega$-regular specifications given as parity objectives. We consider the problem of computing the set of almost-sure winning vertices from where the objective can be ensured with probability 1. The algorithms for the computation of the almost-sure winning set for parity objectives iteratively use the solutions for the almost-sure winning set for Buchi objectives (a special case of parity objectives). We study for the first time the average case complexity of the classical algorithm for computing almost-sure winning vertices for MDPs with Buchi objectives. Our contributions are as follows: First, we show that for MDPs with constant out-degree the expected number of iterations is at most logarithmic and the average case running time is linear (as compared to the worst case linear number of iterations and quadratic time complexity). Second, we show that for general MDPs the expected number of iterations is constant and the average case running time is linear (again as compared to the worst case linear number of iterations and quadratic time complexity). Finally we also show that given all graphs are equally likely, the probability that the classical algorithm requires more than constant number of iterations is exponentially small." @default.
• W2949308082 created "2019-06-27" @default.
• W2949308082 creator A5050060224 @default.
• W2949308082 creator A5052607806 @default.
• W2949308082 creator A5091908443 @default.
• W2949308082 date "2012-02-19" @default.
• W2949308082 modified "2023-09-27" @default.
• W2949308082 title "Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Buchi Objectives" @default.
• W2949308082 cites W1496590343 @default.
• W2949308082 cites W1498432697 @default.
• W2949308082 cites W1593045594 @default.
• W2949308082 cites W1667094241 @default.
• W2949308082 cites W1816620374 @default.
• W2949308082 cites W1850900101 @default.
• W2949308082 cites W1972203711 @default.
• W2949308082 cites W2020293036 @default.
• W2949308082 cites W2025063471 @default.
• W2949308082 cites W2028145673 @default.
• W2949308082 cites W2038680194 @default.
• W2949308082 cites W2057591177 @default.
• W2949308082 cites W2093468548 @default.
• W2949308082 cites W2106042170 @default.
• W2949308082 cites W2139324000 @default.
• W2949308082 cites W2150944278 @default.
• W2949308082 cites W2182670256 @default.
• W2949308082 cites W2334782222 @default.
• W2949308082 cites W2341159425 @default.
• W2949308082 cites W2801026249 @default.
• W2949308082 cites W2952925858 @default.
• W2949308082 cites W3142570770 @default.
• W2949308082 cites W1601373402 @default.
• W2949308082 hasPublicationYear "2012" @default.
• W2949308082 type Work @default.
• W2949308082 sameAs 2949308082 @default.
• W2949308082 citedByCount "0" @default.
• W2949308082 crossrefType "posted-content" @default.
• W2949308082 hasAuthorship W2949308082A5050060224 @default.
• W2949308082 hasAuthorship W2949308082A5052607806 @default.
• W2949308082 hasAuthorship W2949308082A5091908443 @default.
• W2949308082 hasConcept C105795698 @default.
• W2949308082 hasConcept C106189395 @default.
• W2949308082 hasConcept C109214941 @default.
• W2949308082 hasConcept C11413529 @default.
• W2949308082 hasConcept C118615104 @default.
• W2949308082 hasConcept C121332964 @default.
• W2949308082 hasConcept C126255220 @default.
• W2949308082 hasConcept C129844170 @default.
• W2949308082 hasConcept C134306372 @default.
• W2949308082 hasConcept C159886148 @default.
• W2949308082 hasConcept C177264268 @default.
• W2949308082 hasConcept C199360897 @default.
• W2949308082 hasConcept C2524010 @default.
• W2949308082 hasConcept C2777027219 @default.
• W2949308082 hasConcept C2777151079 @default.
• W2949308082 hasConcept C311688 @default.
• W2949308082 hasConcept C33923547 @default.
• W2949308082 hasConcept C39927690 @default.
• W2949308082 hasConcept C41008148 @default.
• W2949308082 hasConcept C45374587 @default.
• W2949308082 hasConceptScore W2949308082C105795698 @default.
• W2949308082 hasConceptScore W2949308082C106189395 @default.
• W2949308082 hasConceptScore W2949308082C109214941 @default.
• W2949308082 hasConceptScore W2949308082C11413529 @default.
• W2949308082 hasConceptScore W2949308082C118615104 @default.
• W2949308082 hasConceptScore W2949308082C121332964 @default.
• W2949308082 hasConceptScore W2949308082C126255220 @default.
• W2949308082 hasConceptScore W2949308082C129844170 @default.
• W2949308082 hasConceptScore W2949308082C134306372 @default.
• W2949308082 hasConceptScore W2949308082C159886148 @default.
• W2949308082 hasConceptScore W2949308082C177264268 @default.
• W2949308082 hasConceptScore W2949308082C199360897 @default.
• W2949308082 hasConceptScore W2949308082C2524010 @default.
• W2949308082 hasConceptScore W2949308082C2777027219 @default.
• W2949308082 hasConceptScore W2949308082C2777151079 @default.
• W2949308082 hasConceptScore W2949308082C311688 @default.
• W2949308082 hasConceptScore W2949308082C33923547 @default.
• W2949308082 hasConceptScore W2949308082C39927690 @default.
• W2949308082 hasConceptScore W2949308082C41008148 @default.
• W2949308082 hasConceptScore W2949308082C45374587 @default.
• W2949308082 hasLocation W29493080821 @default.
• W2949308082 hasOpenAccess W2949308082 @default.
• W2949308082 hasPrimaryLocation W29493080821 @default.
• W2949308082 hasRelatedWork W1522772123 @default.
• W2949308082 hasRelatedWork W1537300939 @default.
• W2949308082 hasRelatedWork W1553572425 @default.
• W2949308082 hasRelatedWork W1598073724 @default.
• W2949308082 hasRelatedWork W1783659154 @default.
• W2949308082 hasRelatedWork W1848188550 @default.
• W2949308082 hasRelatedWork W1984901446 @default.
• W2949308082 hasRelatedWork W1992051595 @default.
• W2949308082 hasRelatedWork W2012728920 @default.
• W2949308082 hasRelatedWork W2019110169 @default.
• W2949308082 hasRelatedWork W2069031805 @default.
• W2949308082 hasRelatedWork W2090771964 @default.
• W2949308082 hasRelatedWork W2107924392 @default.
• W2949308082 hasRelatedWork W2167471538 @default.
• W2949308082 hasRelatedWork W2570444039 @default.
• W2949308082 hasRelatedWork W2900859106 @default.
• W2949308082 hasRelatedWork W2949533818 @default.
• W2949308082 hasRelatedWork W2950805311 @default.

• next