FRINK Linked Data Fragments server

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

• W29485814 endingPage "116" @default.
• W29485814 startingPage "87" @default.
• W29485814 abstract "AbstractProbabilistic model checking extends traditional model checking by incorporating quantitative information about the probability of system transitions. However, probabilistic models that describe interesting behavior are often too complex for straightforward analysis. Abstraction is one way to deal with this complexity: instead of analyzing the (“concrete”) model, a simpler (“abstract”) model that preserves the relevant properties is built and analyzed. This paper surveys various abstraction techniques proposed in the past decade. For each abstraction technique we identify in what sense properties are preserved or provide alternatively suitable boundaries.KeywordsModel CheckMarkov Decision ProcessSafety PropertyAtomic PropositionConcrete ModelThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
• W29485814 created "2016-06-24" @default.
• W29485814 creator A5006029818 @default.
• W29485814 creator A5041062030 @default.
• W29485814 creator A5068670737 @default.
• W29485814 creator A5083347350 @default.
• W29485814 date "2014-01-01" @default.
• W29485814 modified "2023-10-13" @default.
• W29485814 title "On Abstraction of Probabilistic Systems" @default.
• W29485814 cites W100229751 @default.
• W29485814 cites W1481528147 @default.
• W29485814 cites W1481843134 @default.
• W29485814 cites W1497573972 @default.
• W29485814 cites W1501881008 @default.
• W29485814 cites W1511105469 @default.
• W29485814 cites W1529165591 @default.
• W29485814 cites W1535517661 @default.
• W29485814 cites W1541407177 @default.
• W29485814 cites W1565898282 @default.
• W29485814 cites W1583191255 @default.
• W29485814 cites W1588184453 @default.
• W29485814 cites W1593969495 @default.
• W29485814 cites W1603153151 @default.
• W29485814 cites W1608455964 @default.
• W29485814 cites W1650157420 @default.
• W29485814 cites W1801185978 @default.
• W29485814 cites W1862398452 @default.
• W29485814 cites W1926463588 @default.
• W29485814 cites W1958500697 @default.
• W29485814 cites W1966347268 @default.
• W29485814 cites W1996917540 @default.
• W29485814 cites W2005998857 @default.
• W29485814 cites W2044260813 @default.
• W29485814 cites W2048355938 @default.
• W29485814 cites W2052092737 @default.
• W29485814 cites W2070874614 @default.
• W29485814 cites W2088501121 @default.
• W29485814 cites W2098245493 @default.
• W29485814 cites W2105172619 @default.
• W29485814 cites W2106272197 @default.
• W29485814 cites W2115555017 @default.
• W29485814 cites W2130820909 @default.
• W29485814 cites W2139324000 @default.
• W29485814 cites W2156008373 @default.
• W29485814 cites W2158395308 @default.
• W29485814 cites W2165161585 @default.
• W29485814 cites W2913788705 @default.
• W29485814 cites W3137368705 @default.
• W29485814 cites W1601373402 @default.
• W29485814 doi "https://doi.org/10.1007/978-3-662-45489-3_4" @default.
• W29485814 hasPublicationYear "2014" @default.
• W29485814 type Work @default.
• W29485814 sameAs 29485814 @default.
• W29485814 citedByCount "5" @default.
• W29485814 countsByYear W294858142016 @default.
• W29485814 countsByYear W294858142017 @default.
• W29485814 countsByYear W294858142018 @default.
• W29485814 countsByYear W294858142019 @default.
• W29485814 countsByYear W294858142020 @default.
• W29485814 crossrefType "book-chapter" @default.
• W29485814 hasAuthorship W29485814A5006029818 @default.
• W29485814 hasAuthorship W29485814A5041062030 @default.
• W29485814 hasAuthorship W29485814A5068670737 @default.
• W29485814 hasAuthorship W29485814A5083347350 @default.
• W29485814 hasConcept C110251889 @default.
• W29485814 hasConcept C111472728 @default.
• W29485814 hasConcept C119857082 @default.
• W29485814 hasConcept C124304363 @default.
• W29485814 hasConcept C138885662 @default.
• W29485814 hasConcept C144133560 @default.
• W29485814 hasConcept C154945302 @default.
• W29485814 hasConcept C195094911 @default.
• W29485814 hasConcept C199360897 @default.
• W29485814 hasConcept C2984634286 @default.
• W29485814 hasConcept C30888246 @default.
• W29485814 hasConcept C41008148 @default.
• W29485814 hasConcept C49937458 @default.
• W29485814 hasConcept C80444323 @default.
• W29485814 hasConcept C98045186 @default.
• W29485814 hasConceptScore W29485814C110251889 @default.
• W29485814 hasConceptScore W29485814C111472728 @default.
• W29485814 hasConceptScore W29485814C119857082 @default.
• W29485814 hasConceptScore W29485814C124304363 @default.
• W29485814 hasConceptScore W29485814C138885662 @default.
• W29485814 hasConceptScore W29485814C144133560 @default.
• W29485814 hasConceptScore W29485814C154945302 @default.
• W29485814 hasConceptScore W29485814C195094911 @default.
• W29485814 hasConceptScore W29485814C199360897 @default.
• W29485814 hasConceptScore W29485814C2984634286 @default.
• W29485814 hasConceptScore W29485814C30888246 @default.
• W29485814 hasConceptScore W29485814C41008148 @default.
• W29485814 hasConceptScore W29485814C49937458 @default.
• W29485814 hasConceptScore W29485814C80444323 @default.
• W29485814 hasConceptScore W29485814C98045186 @default.
• W29485814 hasLocation W294858141 @default.
• W29485814 hasOpenAccess W29485814 @default.
• W29485814 hasPrimaryLocation W294858141 @default.
• W29485814 hasRelatedWork W142178511 @default.

• next