Matches in SemOpenAlex for { <https://semopenalex.org/work/W2047343396> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2047343396 endingPage "134" @default.
- W2047343396 startingPage "113" @default.
- W2047343396 abstract "We generalize the familiar semantics for probabilistic computation tree logic from finite-state to infinite-state labelled Markov chains such that formulas are interpreted as measurable sets. Then we show how to synthesize finite-state abstractions which are sound for full probabilistic computation tree logic and in which measures are approximated by monotone set functions. This synthesis of sound finite-state approximants also applies to finite-state systems and is a probabilistic analogue of predicate abstraction. Sufficient and always realizable conditions are identified for obtaining optimal such abstractions for probabilistic propositional modal logic." @default.
- W2047343396 created "2016-06-24" @default.
- W2047343396 creator A5065773551 @default.
- W2047343396 date "2005-11-01" @default.
- W2047343396 modified "2023-09-30" @default.
- W2047343396 title "On finite-state approximants for probabilistic computation tree logic" @default.
- W2047343396 cites W1494542683 @default.
- W2047343396 cites W1507173517 @default.
- W2047343396 cites W1546768510 @default.
- W2047343396 cites W1553858749 @default.
- W2047343396 cites W1581087217 @default.
- W2047343396 cites W1588557629 @default.
- W2047343396 cites W1598283203 @default.
- W2047343396 cites W1698217787 @default.
- W2047343396 cites W1972203711 @default.
- W2047343396 cites W1996648065 @default.
- W2047343396 cites W2005998857 @default.
- W2047343396 cites W2024355065 @default.
- W2047343396 cites W2090106217 @default.
- W2047343396 cites W2100893927 @default.
- W2047343396 cites W2166396462 @default.
- W2047343396 cites W4230531028 @default.
- W2047343396 cites W4242450750 @default.
- W2047343396 doi "https://doi.org/10.1016/j.tcs.2005.08.008" @default.
- W2047343396 hasPublicationYear "2005" @default.
- W2047343396 type Work @default.
- W2047343396 sameAs 2047343396 @default.
- W2047343396 citedByCount "32" @default.
- W2047343396 countsByYear W20473433962012 @default.
- W2047343396 countsByYear W20473433962013 @default.
- W2047343396 countsByYear W20473433962014 @default.
- W2047343396 countsByYear W20473433962017 @default.
- W2047343396 countsByYear W20473433962020 @default.
- W2047343396 crossrefType "journal-article" @default.
- W2047343396 hasAuthorship W2047343396A5065773551 @default.
- W2047343396 hasBestOaLocation W20473433961 @default.
- W2047343396 hasConcept C105795698 @default.
- W2047343396 hasConcept C11413529 @default.
- W2047343396 hasConcept C118615104 @default.
- W2047343396 hasConcept C153269930 @default.
- W2047343396 hasConcept C167822520 @default.
- W2047343396 hasConcept C174784677 @default.
- W2047343396 hasConcept C185592680 @default.
- W2047343396 hasConcept C188027245 @default.
- W2047343396 hasConcept C24404364 @default.
- W2047343396 hasConcept C2524010 @default.
- W2047343396 hasConcept C27508121 @default.
- W2047343396 hasConcept C2834757 @default.
- W2047343396 hasConcept C33923547 @default.
- W2047343396 hasConcept C41008148 @default.
- W2047343396 hasConcept C45374587 @default.
- W2047343396 hasConcept C49937458 @default.
- W2047343396 hasConcept C52063229 @default.
- W2047343396 hasConcept C71139939 @default.
- W2047343396 hasConcept C80444323 @default.
- W2047343396 hasConcept C98763669 @default.
- W2047343396 hasConceptScore W2047343396C105795698 @default.
- W2047343396 hasConceptScore W2047343396C11413529 @default.
- W2047343396 hasConceptScore W2047343396C118615104 @default.
- W2047343396 hasConceptScore W2047343396C153269930 @default.
- W2047343396 hasConceptScore W2047343396C167822520 @default.
- W2047343396 hasConceptScore W2047343396C174784677 @default.
- W2047343396 hasConceptScore W2047343396C185592680 @default.
- W2047343396 hasConceptScore W2047343396C188027245 @default.
- W2047343396 hasConceptScore W2047343396C24404364 @default.
- W2047343396 hasConceptScore W2047343396C2524010 @default.
- W2047343396 hasConceptScore W2047343396C27508121 @default.
- W2047343396 hasConceptScore W2047343396C2834757 @default.
- W2047343396 hasConceptScore W2047343396C33923547 @default.
- W2047343396 hasConceptScore W2047343396C41008148 @default.
- W2047343396 hasConceptScore W2047343396C45374587 @default.
- W2047343396 hasConceptScore W2047343396C49937458 @default.
- W2047343396 hasConceptScore W2047343396C52063229 @default.
- W2047343396 hasConceptScore W2047343396C71139939 @default.
- W2047343396 hasConceptScore W2047343396C80444323 @default.
- W2047343396 hasConceptScore W2047343396C98763669 @default.
- W2047343396 hasIssue "1" @default.
- W2047343396 hasLocation W20473433961 @default.
- W2047343396 hasOpenAccess W2047343396 @default.
- W2047343396 hasPrimaryLocation W20473433961 @default.
- W2047343396 hasRelatedWork W1560643563 @default.
- W2047343396 hasRelatedWork W1762969849 @default.
- W2047343396 hasRelatedWork W189312714 @default.
- W2047343396 hasRelatedWork W2020335855 @default.
- W2047343396 hasRelatedWork W2047343396 @default.
- W2047343396 hasRelatedWork W2096349874 @default.
- W2047343396 hasRelatedWork W2152221608 @default.
- W2047343396 hasRelatedWork W22667845 @default.
- W2047343396 hasRelatedWork W2610458644 @default.
- W2047343396 hasRelatedWork W2793281072 @default.
- W2047343396 hasVolume "346" @default.
- W2047343396 isParatext "false" @default.
- W2047343396 isRetracted "false" @default.
- W2047343396 magId "2047343396" @default.
- W2047343396 workType "article" @default.