Matches in SemOpenAlex for { <https://semopenalex.org/work/W2289194316> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2289194316 abstract "A cost Markov chain is a Markov chain whose transitions are labelled with non-negative integer costs. A fundamental problem on this model, with applications in the verification of stochastic systems, is to compute information about the distribution of the total cost accumulated in a run. This includes the probability of large total costs, the median cost, and other quantiles. While expectations can be computed in polynomial time, previous work has demonstrated that the computation of cost quantiles is harder but can be done in PSPACE. In this paper we show that cost quantiles in cost Markov chains can be computed in the counting hierarchy, thus providing evidence that computing those quantiles is likely not PSPACE-hard. We obtain this result by exhibiting a tight link to a problem in formal language theory: counting the number of words that are both accepted by a given automaton and have a given Parikh image. Motivated by this link, we comprehensively investigate the complexity of the latter problem. Among other techniques, we rely on the so-called BEST theorem for efficiently computing the number of Eulerian circuits in a directed graph." @default.
- W2289194316 created "2016-06-24" @default.
- W2289194316 creator A5005500210 @default.
- W2289194316 creator A5054782057 @default.
- W2289194316 creator A5067755649 @default.
- W2289194316 date "2016-01-18" @default.
- W2289194316 modified "2023-09-27" @default.
- W2289194316 title "Efficient Quantile Computation in Markov Chains via Counting Problems for Parikh Images." @default.
- W2289194316 cites W125973810 @default.
- W2289194316 cites W1495766446 @default.
- W2289194316 cites W1497287285 @default.
- W2289194316 cites W1498432697 @default.
- W2289194316 cites W1600623983 @default.
- W2289194316 cites W1795375859 @default.
- W2289194316 cites W1862398452 @default.
- W2289194316 cites W1887562516 @default.
- W2289194316 cites W1982206794 @default.
- W2289194316 cites W1993180032 @default.
- W2289194316 cites W1998084650 @default.
- W2289194316 cites W2007431032 @default.
- W2289194316 cites W2016660294 @default.
- W2289194316 cites W2044997341 @default.
- W2289194316 cites W2137407595 @default.
- W2289194316 cites W2166998594 @default.
- W2289194316 cites W2167091017 @default.
- W2289194316 cites W2225167615 @default.
- W2289194316 cites W2246792024 @default.
- W2289194316 cites W2410243683 @default.
- W2289194316 cites W2599078145 @default.
- W2289194316 cites W2949266636 @default.
- W2289194316 cites W2962750855 @default.
- W2289194316 cites W2963761951 @default.
- W2289194316 cites W41330591 @default.
- W2289194316 cites W98584514 @default.
- W2289194316 hasPublicationYear "2016" @default.
- W2289194316 type Work @default.
- W2289194316 sameAs 2289194316 @default.
- W2289194316 citedByCount "0" @default.
- W2289194316 crossrefType "posted-content" @default.
- W2289194316 hasAuthorship W2289194316A5005500210 @default.
- W2289194316 hasAuthorship W2289194316A5054782057 @default.
- W2289194316 hasAuthorship W2289194316A5067755649 @default.
- W2289194316 hasConcept C105795698 @default.
- W2289194316 hasConcept C111350023 @default.
- W2289194316 hasConcept C112505250 @default.
- W2289194316 hasConcept C11413529 @default.
- W2289194316 hasConcept C118671147 @default.
- W2289194316 hasConcept C126255220 @default.
- W2289194316 hasConcept C179799912 @default.
- W2289194316 hasConcept C19499675 @default.
- W2289194316 hasConcept C33923547 @default.
- W2289194316 hasConcept C41008148 @default.
- W2289194316 hasConcept C45374587 @default.
- W2289194316 hasConcept C80444323 @default.
- W2289194316 hasConcept C98763669 @default.
- W2289194316 hasConceptScore W2289194316C105795698 @default.
- W2289194316 hasConceptScore W2289194316C111350023 @default.
- W2289194316 hasConceptScore W2289194316C112505250 @default.
- W2289194316 hasConceptScore W2289194316C11413529 @default.
- W2289194316 hasConceptScore W2289194316C118671147 @default.
- W2289194316 hasConceptScore W2289194316C126255220 @default.
- W2289194316 hasConceptScore W2289194316C179799912 @default.
- W2289194316 hasConceptScore W2289194316C19499675 @default.
- W2289194316 hasConceptScore W2289194316C33923547 @default.
- W2289194316 hasConceptScore W2289194316C41008148 @default.
- W2289194316 hasConceptScore W2289194316C45374587 @default.
- W2289194316 hasConceptScore W2289194316C80444323 @default.
- W2289194316 hasConceptScore W2289194316C98763669 @default.
- W2289194316 hasLocation W22891943161 @default.
- W2289194316 hasOpenAccess W2289194316 @default.
- W2289194316 hasPrimaryLocation W22891943161 @default.
- W2289194316 hasRelatedWork W1607840088 @default.
- W2289194316 hasRelatedWork W1966557697 @default.
- W2289194316 hasRelatedWork W1985204981 @default.
- W2289194316 hasRelatedWork W2015604011 @default.
- W2289194316 hasRelatedWork W2189266855 @default.
- W2289194316 hasRelatedWork W2218585456 @default.
- W2289194316 hasRelatedWork W2279529505 @default.
- W2289194316 hasRelatedWork W2507985331 @default.
- W2289194316 hasRelatedWork W2535572737 @default.
- W2289194316 hasRelatedWork W2576924292 @default.
- W2289194316 hasRelatedWork W2767568854 @default.
- W2289194316 hasRelatedWork W2792772192 @default.
- W2289194316 hasRelatedWork W2803651979 @default.
- W2289194316 hasRelatedWork W2804451431 @default.
- W2289194316 hasRelatedWork W2898913421 @default.
- W2289194316 hasRelatedWork W2949326365 @default.
- W2289194316 hasRelatedWork W2953295810 @default.
- W2289194316 hasRelatedWork W2962776555 @default.
- W2289194316 hasRelatedWork W3100857140 @default.
- W2289194316 hasRelatedWork W3105443234 @default.
- W2289194316 isParatext "false" @default.
- W2289194316 isRetracted "false" @default.
- W2289194316 magId "2289194316" @default.
- W2289194316 workType "article" @default.