Matches in SemOpenAlex for { <https://semopenalex.org/work/W2734341768> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2734341768 abstract "We propose a way of presenting and computing a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present a counterexample as a pair (*** ,*** ), where *** ,*** are finite words such that all paths that extend *** and have infinitely many occurrences of *** violate the specification. In quantitative probabilistic model checking, we present a counterexample as a pair (W ,R ), where W is a set of such finite words *** and R is a set of such finite words *** . Moreover, we suggest how the counterexample presented helps the user identify the underlying error in the system by means of an interactive game with the model checker." @default.
- W2734341768 created "2017-07-21" @default.
- W2734341768 creator A5015960823 @default.
- W2734341768 creator A5074052214 @default.
- W2734341768 creator A5081420063 @default.
- W2734341768 date "2009-01-01" @default.
- W2734341768 modified "2023-09-25" @default.
- W2734341768 title "Counterexamples in Probabilistic LTL Model Checking for Markov Chains" @default.
- W2734341768 doi "https://doi.org/10.3929/ethz-a-006814943" @default.
- W2734341768 hasPublicationYear "2009" @default.
- W2734341768 type Work @default.
- W2734341768 sameAs 2734341768 @default.
- W2734341768 citedByCount "0" @default.
- W2734341768 crossrefType "journal-article" @default.
- W2734341768 hasAuthorship W2734341768A5015960823 @default.
- W2734341768 hasAuthorship W2734341768A5074052214 @default.
- W2734341768 hasAuthorship W2734341768A5081420063 @default.
- W2734341768 hasConcept C110251889 @default.
- W2734341768 hasConcept C11413529 @default.
- W2734341768 hasConcept C118615104 @default.
- W2734341768 hasConcept C119857082 @default.
- W2734341768 hasConcept C154945302 @default.
- W2734341768 hasConcept C162838799 @default.
- W2734341768 hasConcept C177264268 @default.
- W2734341768 hasConcept C199360897 @default.
- W2734341768 hasConcept C24404364 @default.
- W2734341768 hasConcept C33923547 @default.
- W2734341768 hasConcept C41008148 @default.
- W2734341768 hasConcept C49937458 @default.
- W2734341768 hasConcept C52063229 @default.
- W2734341768 hasConcept C80444323 @default.
- W2734341768 hasConcept C98763669 @default.
- W2734341768 hasConceptScore W2734341768C110251889 @default.
- W2734341768 hasConceptScore W2734341768C11413529 @default.
- W2734341768 hasConceptScore W2734341768C118615104 @default.
- W2734341768 hasConceptScore W2734341768C119857082 @default.
- W2734341768 hasConceptScore W2734341768C154945302 @default.
- W2734341768 hasConceptScore W2734341768C162838799 @default.
- W2734341768 hasConceptScore W2734341768C177264268 @default.
- W2734341768 hasConceptScore W2734341768C199360897 @default.
- W2734341768 hasConceptScore W2734341768C24404364 @default.
- W2734341768 hasConceptScore W2734341768C33923547 @default.
- W2734341768 hasConceptScore W2734341768C41008148 @default.
- W2734341768 hasConceptScore W2734341768C49937458 @default.
- W2734341768 hasConceptScore W2734341768C52063229 @default.
- W2734341768 hasConceptScore W2734341768C80444323 @default.
- W2734341768 hasConceptScore W2734341768C98763669 @default.
- W2734341768 hasLocation W27343417681 @default.
- W2734341768 hasOpenAccess W2734341768 @default.
- W2734341768 hasPrimaryLocation W27343417681 @default.
- W2734341768 hasRelatedWork W1504403751 @default.
- W2734341768 hasRelatedWork W1538260476 @default.
- W2734341768 hasRelatedWork W1554589788 @default.
- W2734341768 hasRelatedWork W1597499909 @default.
- W2734341768 hasRelatedWork W1602073915 @default.
- W2734341768 hasRelatedWork W165675380 @default.
- W2734341768 hasRelatedWork W1814905144 @default.
- W2734341768 hasRelatedWork W1958500697 @default.
- W2734341768 hasRelatedWork W1980206966 @default.
- W2734341768 hasRelatedWork W1998779352 @default.
- W2734341768 hasRelatedWork W2051580064 @default.
- W2734341768 hasRelatedWork W2142896416 @default.
- W2734341768 hasRelatedWork W2144883983 @default.
- W2734341768 hasRelatedWork W2144894908 @default.
- W2734341768 hasRelatedWork W2160612550 @default.
- W2734341768 hasRelatedWork W2205963248 @default.
- W2734341768 hasRelatedWork W2788909595 @default.
- W2734341768 hasRelatedWork W3005864166 @default.
- W2734341768 hasRelatedWork W95552213 @default.
- W2734341768 hasRelatedWork W1619000467 @default.
- W2734341768 hasVolume "627" @default.
- W2734341768 isParatext "false" @default.
- W2734341768 isRetracted "false" @default.
- W2734341768 magId "2734341768" @default.
- W2734341768 workType "article" @default.