Matches in SemOpenAlex for { <https://semopenalex.org/work/W2982115117> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2982115117 endingPage "496" @default.
- W2982115117 startingPage "479" @default.
- W2982115117 abstract "This paper presents a simple algorithm to check whether reachability probabilities in parametric Markov chains are monotonic in (some of) the parameters. The idea is to construct—only using the graph structure of the Markov chain and local transition probabilities—a pre-order on the states. Our algorithm cheaply checks a sufficient condition for monotonicity. Experiments show that monotonicity in several benchmarks is automatically detected, and monotonicity can speed up parameter synthesis up to orders of magnitude faster than a symbolic baseline." @default.
- W2982115117 created "2019-11-01" @default.
- W2982115117 creator A5018941708 @default.
- W2982115117 creator A5020384363 @default.
- W2982115117 creator A5090819329 @default.
- W2982115117 date "2019-01-01" @default.
- W2982115117 modified "2023-10-16" @default.
- W2982115117 title "Are Parametric Markov Chains Monotonic?" @default.
- W2982115117 cites W144481999 @default.
- W2982115117 cites W1574505635 @default.
- W2982115117 cites W1583191255 @default.
- W2982115117 cites W1600556058 @default.
- W2982115117 cites W1773627017 @default.
- W2982115117 cites W1822323017 @default.
- W2982115117 cites W1862398452 @default.
- W2982115117 cites W1880436303 @default.
- W2982115117 cites W1978884755 @default.
- W2982115117 cites W1992996044 @default.
- W2982115117 cites W2011495999 @default.
- W2982115117 cites W2030895696 @default.
- W2982115117 cites W2055514360 @default.
- W2982115117 cites W2075813176 @default.
- W2982115117 cites W2095304972 @default.
- W2982115117 cites W2111765806 @default.
- W2982115117 cites W2114879646 @default.
- W2982115117 cites W2137369624 @default.
- W2982115117 cites W2156546571 @default.
- W2982115117 cites W2284340808 @default.
- W2982115117 cites W2527393991 @default.
- W2982115117 cites W2568766587 @default.
- W2982115117 cites W2593267253 @default.
- W2982115117 cites W2739508666 @default.
- W2982115117 cites W2752441295 @default.
- W2982115117 cites W2766020963 @default.
- W2982115117 cites W2792547510 @default.
- W2982115117 cites W2803246896 @default.
- W2982115117 cites W2803993242 @default.
- W2982115117 cites W2804728961 @default.
- W2982115117 cites W2909939412 @default.
- W2982115117 cites W2932972683 @default.
- W2982115117 cites W2963307044 @default.
- W2982115117 cites W2963629611 @default.
- W2982115117 cites W2982115117 @default.
- W2982115117 cites W754964377 @default.
- W2982115117 cites W798280485 @default.
- W2982115117 doi "https://doi.org/10.1007/978-3-030-31784-3_28" @default.
- W2982115117 hasPublicationYear "2019" @default.
- W2982115117 type Work @default.
- W2982115117 sameAs 2982115117 @default.
- W2982115117 citedByCount "11" @default.
- W2982115117 countsByYear W29821151172019 @default.
- W2982115117 countsByYear W29821151172020 @default.
- W2982115117 countsByYear W29821151172021 @default.
- W2982115117 countsByYear W29821151172022 @default.
- W2982115117 crossrefType "book-chapter" @default.
- W2982115117 hasAuthorship W2982115117A5018941708 @default.
- W2982115117 hasAuthorship W2982115117A5020384363 @default.
- W2982115117 hasAuthorship W2982115117A5090819329 @default.
- W2982115117 hasBestOaLocation W29821151172 @default.
- W2982115117 hasConcept C105795698 @default.
- W2982115117 hasConcept C117251300 @default.
- W2982115117 hasConcept C119857082 @default.
- W2982115117 hasConcept C134306372 @default.
- W2982115117 hasConcept C33923547 @default.
- W2982115117 hasConcept C41008148 @default.
- W2982115117 hasConcept C72169020 @default.
- W2982115117 hasConcept C98763669 @default.
- W2982115117 hasConceptScore W2982115117C105795698 @default.
- W2982115117 hasConceptScore W2982115117C117251300 @default.
- W2982115117 hasConceptScore W2982115117C119857082 @default.
- W2982115117 hasConceptScore W2982115117C134306372 @default.
- W2982115117 hasConceptScore W2982115117C33923547 @default.
- W2982115117 hasConceptScore W2982115117C41008148 @default.
- W2982115117 hasConceptScore W2982115117C72169020 @default.
- W2982115117 hasConceptScore W2982115117C98763669 @default.
- W2982115117 hasLocation W29821151171 @default.
- W2982115117 hasLocation W29821151172 @default.
- W2982115117 hasOpenAccess W2982115117 @default.
- W2982115117 hasPrimaryLocation W29821151171 @default.
- W2982115117 hasRelatedWork W1996878159 @default.
- W2982115117 hasRelatedWork W2009650958 @default.
- W2982115117 hasRelatedWork W2047600461 @default.
- W2982115117 hasRelatedWork W2050668358 @default.
- W2982115117 hasRelatedWork W2080268478 @default.
- W2982115117 hasRelatedWork W2889728348 @default.
- W2982115117 hasRelatedWork W2979102648 @default.
- W2982115117 hasRelatedWork W3029612563 @default.
- W2982115117 hasRelatedWork W3042952607 @default.
- W2982115117 hasRelatedWork W3137643797 @default.
- W2982115117 isParatext "false" @default.
- W2982115117 isRetracted "false" @default.
- W2982115117 magId "2982115117" @default.
- W2982115117 workType "book-chapter" @default.