FRINK Linked Data Fragments server

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

• W2964243351 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.
• W2964243351 created "2019-07-30" @default.
• W2964243351 creator A5018941708 @default.
• W2964243351 creator A5020384363 @default.
• W2964243351 creator A5090819329 @default.
• W2964243351 date "2019-07-19" @default.
• W2964243351 modified "2023-09-27" @default.
• W2964243351 title "Are Parametric Markov Chains Monotonic" @default.
• W2964243351 cites W144481999 @default.
• W2964243351 cites W1493060511 @default.
• W2964243351 cites W1498432697 @default.
• W2964243351 cites W1574505635 @default.
• W2964243351 cites W1583191255 @default.
• W2964243351 cites W1600556058 @default.
• W2964243351 cites W1773627017 @default.
• W2964243351 cites W1822323017 @default.
• W2964243351 cites W1862398452 @default.
• W2964243351 cites W1880436303 @default.
• W2964243351 cites W1971139410 @default.
• W2964243351 cites W1978884755 @default.
• W2964243351 cites W1992996044 @default.
• W2964243351 cites W2030895696 @default.
• W2964243351 cites W2055514360 @default.
• W2964243351 cites W2075813176 @default.
• W2964243351 cites W2095304972 @default.
• W2964243351 cites W2111765806 @default.
• W2964243351 cites W2114879646 @default.
• W2964243351 cites W2125500714 @default.
• W2964243351 cites W2137369624 @default.
• W2964243351 cites W2156546571 @default.
• W2964243351 cites W2284340808 @default.
• W2964243351 cites W2527393991 @default.
• W2964243351 cites W2568766587 @default.
• W2964243351 cites W2576924292 @default.
• W2964243351 cites W2593267253 @default.
• W2964243351 cites W2739508666 @default.
• W2964243351 cites W2766020963 @default.
• W2964243351 cites W2792547510 @default.
• W2964243351 cites W2803246896 @default.
• W2964243351 cites W2803993242 @default.
• W2964243351 cites W2804728961 @default.
• W2964243351 cites W2809011908 @default.
• W2964243351 cites W2909939412 @default.
• W2964243351 cites W2930056168 @default.
• W2964243351 cites W2932972683 @default.
• W2964243351 cites W2963307044 @default.
• W2964243351 cites W2963629611 @default.
• W2964243351 cites W754964377 @default.
• W2964243351 cites W798280485 @default.
• W2964243351 hasPublicationYear "2019" @default.
• W2964243351 type Work @default.
• W2964243351 sameAs 2964243351 @default.
• W2964243351 citedByCount "0" @default.
• W2964243351 crossrefType "posted-content" @default.
• W2964243351 hasAuthorship W2964243351A5018941708 @default.
• W2964243351 hasAuthorship W2964243351A5020384363 @default.
• W2964243351 hasAuthorship W2964243351A5090819329 @default.
• W2964243351 hasConcept C105795698 @default.
• W2964243351 hasConcept C11413529 @default.
• W2964243351 hasConcept C117251300 @default.
• W2964243351 hasConcept C119857082 @default.
• W2964243351 hasConcept C126255220 @default.
• W2964243351 hasConcept C132525143 @default.
• W2964243351 hasConcept C134306372 @default.
• W2964243351 hasConcept C136643341 @default.
• W2964243351 hasConcept C28826006 @default.
• W2964243351 hasConcept C33923547 @default.
• W2964243351 hasConcept C41008148 @default.
• W2964243351 hasConcept C72169020 @default.
• W2964243351 hasConcept C80444323 @default.
• W2964243351 hasConcept C98763669 @default.
• W2964243351 hasConceptScore W2964243351C105795698 @default.
• W2964243351 hasConceptScore W2964243351C11413529 @default.
• W2964243351 hasConceptScore W2964243351C117251300 @default.
• W2964243351 hasConceptScore W2964243351C119857082 @default.
• W2964243351 hasConceptScore W2964243351C126255220 @default.
• W2964243351 hasConceptScore W2964243351C132525143 @default.
• W2964243351 hasConceptScore W2964243351C134306372 @default.
• W2964243351 hasConceptScore W2964243351C136643341 @default.
• W2964243351 hasConceptScore W2964243351C28826006 @default.
• W2964243351 hasConceptScore W2964243351C33923547 @default.
• W2964243351 hasConceptScore W2964243351C41008148 @default.
• W2964243351 hasConceptScore W2964243351C72169020 @default.
• W2964243351 hasConceptScore W2964243351C80444323 @default.
• W2964243351 hasConceptScore W2964243351C98763669 @default.
• W2964243351 hasLocation W29642433511 @default.
• W2964243351 hasOpenAccess W2964243351 @default.
• W2964243351 hasPrimaryLocation W29642433511 @default.
• W2964243351 hasRelatedWork W100212437 @default.
• W2964243351 hasRelatedWork W154150081 @default.
• W2964243351 hasRelatedWork W1791063416 @default.
• W2964243351 hasRelatedWork W2099434859 @default.
• W2964243351 hasRelatedWork W2099765983 @default.
• W2964243351 hasRelatedWork W2139302369 @default.
• W2964243351 hasRelatedWork W225106791 @default.
• W2964243351 hasRelatedWork W2512584544 @default.
• W2964243351 hasRelatedWork W2782041248 @default.
• W2964243351 hasRelatedWork W2807575755 @default.
• W2964243351 hasRelatedWork W2927557059 @default.
• W2964243351 hasRelatedWork W2949625806 @default.

• next