FRINK Linked Data Fragments server

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

• W754964377 endingPage "231" @default.
• W754964377 startingPage "214" @default.
• W754964377 abstract "We present PROPhESY, a tool for analyzing parametric Markov chains (MCs). It can compute a rational function (i.e., a fraction of two polynomials in the model parameters) for reachability and expected reward objectives. Our tool outperforms state-of-the-art tools and supports the novel feature of conditional probabilities. PROPhESY supports incremental automatic parameter synthesis (using SMT techniques) to determine “safe” and “unsafe” regions of the parameter space. All values in these regions give rise to instantiated MCs satisfying or violating the (conditional) probability or expected reward objective. PROPhESY features a web front-end supporting visualization and user-guided parameter synthesis. Experimental results show that PROPhESY scales to MCs with millions of states and several parameters." @default.
• W754964377 created "2016-06-24" @default.
• W754964377 creator A5012669709 @default.
• W754964377 creator A5018941708 @default.
• W754964377 creator A5059396331 @default.
• W754964377 creator A5068015318 @default.
• W754964377 creator A5068670737 @default.
• W754964377 creator A5080606370 @default.
• W754964377 creator A5081625067 @default.
• W754964377 creator A5091091957 @default.
• W754964377 date "2015-01-01" @default.
• W754964377 modified "2023-10-14" @default.
• W754964377 title "PROPhESY: A PRObabilistic ParamEter SYnthesis Tool" @default.
• W754964377 cites W1257820177 @default.
• W754964377 cites W125973810 @default.
• W754964377 cites W144481999 @default.
• W754964377 cites W1493060511 @default.
• W754964377 cites W1527704738 @default.
• W754964377 cites W1544797161 @default.
• W754964377 cites W1574505635 @default.
• W754964377 cites W1575701986 @default.
• W754964377 cites W1600556058 @default.
• W754964377 cites W1862398452 @default.
• W754964377 cites W1866617089 @default.
• W754964377 cites W1880436303 @default.
• W754964377 cites W1898469110 @default.
• W754964377 cites W1974641445 @default.
• W754964377 cites W1978884755 @default.
• W754964377 cites W1987667503 @default.
• W754964377 cites W2000865099 @default.
• W754964377 cites W2071103858 @default.
• W754964377 cites W2075813176 @default.
• W754964377 cites W2098597080 @default.
• W754964377 cites W2112175063 @default.
• W754964377 cites W2114879646 @default.
• W754964377 cites W2118184521 @default.
• W754964377 cites W2119147938 @default.
• W754964377 cites W2177617373 @default.
• W754964377 cites W2188550283 @default.
• W754964377 cites W225106791 @default.
• W754964377 cites W2267833771 @default.
• W754964377 cites W2410243683 @default.
• W754964377 cites W2758051744 @default.
• W754964377 cites W2810491896 @default.
• W754964377 doi "https://doi.org/10.1007/978-3-319-21690-4_13" @default.
• W754964377 hasPublicationYear "2015" @default.
• W754964377 type Work @default.
• W754964377 sameAs 754964377 @default.
• W754964377 citedByCount "92" @default.
• W754964377 countsByYear W7549643772015 @default.
• W754964377 countsByYear W7549643772016 @default.
• W754964377 countsByYear W7549643772017 @default.
• W754964377 countsByYear W7549643772018 @default.
• W754964377 countsByYear W7549643772019 @default.
• W754964377 countsByYear W7549643772020 @default.
• W754964377 countsByYear W7549643772021 @default.
• W754964377 countsByYear W7549643772022 @default.
• W754964377 countsByYear W7549643772023 @default.
• W754964377 crossrefType "book-chapter" @default.
• W754964377 hasAuthorship W754964377A5012669709 @default.
• W754964377 hasAuthorship W754964377A5018941708 @default.
• W754964377 hasAuthorship W754964377A5059396331 @default.
• W754964377 hasAuthorship W754964377A5068015318 @default.
• W754964377 hasAuthorship W754964377A5068670737 @default.
• W754964377 hasAuthorship W754964377A5080606370 @default.
• W754964377 hasAuthorship W754964377A5081625067 @default.
• W754964377 hasAuthorship W754964377A5091091957 @default.
• W754964377 hasBestOaLocation W7549643771 @default.
• W754964377 hasConcept C105795698 @default.
• W754964377 hasConcept C11413529 @default.
• W754964377 hasConcept C117251300 @default.
• W754964377 hasConcept C119857082 @default.
• W754964377 hasConcept C136643341 @default.
• W754964377 hasConcept C14036430 @default.
• W754964377 hasConcept C154945302 @default.
• W754964377 hasConcept C33923547 @default.
• W754964377 hasConcept C41008148 @default.
• W754964377 hasConcept C49937458 @default.
• W754964377 hasConcept C73586568 @default.
• W754964377 hasConcept C78458016 @default.
• W754964377 hasConcept C86803240 @default.
• W754964377 hasConcept C98763669 @default.
• W754964377 hasConceptScore W754964377C105795698 @default.
• W754964377 hasConceptScore W754964377C11413529 @default.
• W754964377 hasConceptScore W754964377C117251300 @default.
• W754964377 hasConceptScore W754964377C119857082 @default.
• W754964377 hasConceptScore W754964377C136643341 @default.
• W754964377 hasConceptScore W754964377C14036430 @default.
• W754964377 hasConceptScore W754964377C154945302 @default.
• W754964377 hasConceptScore W754964377C33923547 @default.
• W754964377 hasConceptScore W754964377C41008148 @default.
• W754964377 hasConceptScore W754964377C49937458 @default.
• W754964377 hasConceptScore W754964377C73586568 @default.
• W754964377 hasConceptScore W754964377C78458016 @default.
• W754964377 hasConceptScore W754964377C86803240 @default.
• W754964377 hasConceptScore W754964377C98763669 @default.
• W754964377 hasLocation W7549643771 @default.
• W754964377 hasOpenAccess W754964377 @default.

• next