Matches in SemOpenAlex for { <https://semopenalex.org/work/W2168677536> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2168677536 abstract "For continuous-time Markov chains, the model-checking problem with respect to continuous-time stochastic logic (CSL) has been introduced and shown to be decidable by Aziz, Sanwal, Singhal and Brayton in 1996. Their proof can be turned into an approximation algorithm with worse than exponential complexity. In 2000, Baier, Haverkort, Hermanns and Katoen presented an efficient polynomial-time approximation algorithm for the sublogic in which only binary until is allowed. In this paper, we propose such an efficient polynomial-time approximation algorithm for full CSL. The key to our method is the notion of stratified CTMCs with respect to the CSL property to be checked. On a stratified CTMC, the probability to satisfy a CSL path formula can be approximated by a transient analysis in polynomial time (using uniformization). We present a measure-preserving, linear-time and -space transformation of any CTMC into an equivalent, stratified one. This makes the present work the centerpiece of a broadly applicable full CSL model checker. Recently, the decision algorithm by Aziz et al. was shown to work only for stratified CTMCs. As an additional contribution, our measure-preserving transformation can be used to ensure the decidability for general CTMCs." @default.
- W2168677536 created "2016-06-24" @default.
- W2168677536 creator A5006029818 @default.
- W2168677536 creator A5028747794 @default.
- W2168677536 creator A5081589298 @default.
- W2168677536 creator A5089639449 @default.
- W2168677536 date "2012-07-31" @default.
- W2168677536 modified "2023-09-24" @default.
- W2168677536 title "Efficient CSL Model Checking Using Stratification" @default.
- W2168677536 cites W1498125516 @default.
- W2168677536 cites W1514324734 @default.
- W2168677536 cites W1535517661 @default.
- W2168677536 cites W1540519426 @default.
- W2168677536 cites W1997088148 @default.
- W2168677536 cites W2041226400 @default.
- W2168677536 cites W2090311494 @default.
- W2168677536 cites W2096899005 @default.
- W2168677536 cites W2114671730 @default.
- W2168677536 cites W2141881497 @default.
- W2168677536 cites W2143909814 @default.
- W2168677536 cites W2152523762 @default.
- W2168677536 cites W2157239333 @default.
- W2168677536 cites W2410243683 @default.
- W2168677536 cites W2622039200 @default.
- W2168677536 cites W3166263510 @default.
- W2168677536 doi "https://doi.org/10.2168/lmcs-8(2:17)2012" @default.
- W2168677536 hasPublicationYear "2012" @default.
- W2168677536 type Work @default.
- W2168677536 sameAs 2168677536 @default.
- W2168677536 citedByCount "6" @default.
- W2168677536 countsByYear W21686775362013 @default.
- W2168677536 countsByYear W21686775362016 @default.
- W2168677536 countsByYear W21686775362017 @default.
- W2168677536 countsByYear W21686775362020 @default.
- W2168677536 crossrefType "journal-article" @default.
- W2168677536 hasAuthorship W2168677536A5006029818 @default.
- W2168677536 hasAuthorship W2168677536A5028747794 @default.
- W2168677536 hasAuthorship W2168677536A5081589298 @default.
- W2168677536 hasAuthorship W2168677536A5089639449 @default.
- W2168677536 hasBestOaLocation W21686775361 @default.
- W2168677536 hasConcept C105795698 @default.
- W2168677536 hasConcept C110251889 @default.
- W2168677536 hasConcept C11413529 @default.
- W2168677536 hasConcept C118615104 @default.
- W2168677536 hasConcept C126255220 @default.
- W2168677536 hasConcept C149260544 @default.
- W2168677536 hasConcept C153269930 @default.
- W2168677536 hasConcept C163836022 @default.
- W2168677536 hasConcept C179799912 @default.
- W2168677536 hasConcept C189973286 @default.
- W2168677536 hasConcept C197685441 @default.
- W2168677536 hasConcept C2780009758 @default.
- W2168677536 hasConcept C28826006 @default.
- W2168677536 hasConcept C311688 @default.
- W2168677536 hasConcept C33923547 @default.
- W2168677536 hasConcept C41008148 @default.
- W2168677536 hasConcept C77088390 @default.
- W2168677536 hasConcept C98763669 @default.
- W2168677536 hasConceptScore W2168677536C105795698 @default.
- W2168677536 hasConceptScore W2168677536C110251889 @default.
- W2168677536 hasConceptScore W2168677536C11413529 @default.
- W2168677536 hasConceptScore W2168677536C118615104 @default.
- W2168677536 hasConceptScore W2168677536C126255220 @default.
- W2168677536 hasConceptScore W2168677536C149260544 @default.
- W2168677536 hasConceptScore W2168677536C153269930 @default.
- W2168677536 hasConceptScore W2168677536C163836022 @default.
- W2168677536 hasConceptScore W2168677536C179799912 @default.
- W2168677536 hasConceptScore W2168677536C189973286 @default.
- W2168677536 hasConceptScore W2168677536C197685441 @default.
- W2168677536 hasConceptScore W2168677536C2780009758 @default.
- W2168677536 hasConceptScore W2168677536C28826006 @default.
- W2168677536 hasConceptScore W2168677536C311688 @default.
- W2168677536 hasConceptScore W2168677536C33923547 @default.
- W2168677536 hasConceptScore W2168677536C41008148 @default.
- W2168677536 hasConceptScore W2168677536C77088390 @default.
- W2168677536 hasConceptScore W2168677536C98763669 @default.
- W2168677536 hasFunder F4320320300 @default.
- W2168677536 hasLocation W21686775361 @default.
- W2168677536 hasLocation W21686775362 @default.
- W2168677536 hasLocation W21686775363 @default.
- W2168677536 hasLocation W21686775364 @default.
- W2168677536 hasLocation W21686775365 @default.
- W2168677536 hasOpenAccess W2168677536 @default.
- W2168677536 hasPrimaryLocation W21686775361 @default.
- W2168677536 hasRelatedWork W1484219735 @default.
- W2168677536 hasRelatedWork W2100025647 @default.
- W2168677536 hasRelatedWork W2152923292 @default.
- W2168677536 hasRelatedWork W2166566648 @default.
- W2168677536 hasRelatedWork W2168677536 @default.
- W2168677536 hasRelatedWork W2171225173 @default.
- W2168677536 hasRelatedWork W2962985445 @default.
- W2168677536 hasRelatedWork W41804490 @default.
- W2168677536 hasRelatedWork W4301225312 @default.
- W2168677536 hasRelatedWork W2583998759 @default.
- W2168677536 hasVolume "Volume 8, Issue 2" @default.
- W2168677536 isParatext "false" @default.
- W2168677536 isRetracted "false" @default.
- W2168677536 magId "2168677536" @default.
- W2168677536 workType "article" @default.