Matches in SemOpenAlex for { <https://semopenalex.org/work/W1509766189> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1509766189 endingPage "156" @default.
- W1509766189 startingPage "142" @default.
- W1509766189 abstract "We introduce a framework for expressing correctness guarantees of model-checking algorithms. The framework allows us to qualitatively compare different solution techniques for probabilistic model checking, both techniques based on statistical sampling and numerical computation of probability estimates. We provide several new insights into the relative merits of the different approaches. In addition, we present a new statistical solution method that can bound the probability of error under any circumstances by sometimes reporting undecided results. Previous statistical solution methods could only bound the probability of error outside of an “indifference region.”" @default.
- W1509766189 created "2016-06-24" @default.
- W1509766189 creator A5026132956 @default.
- W1509766189 date "2005-01-01" @default.
- W1509766189 modified "2023-10-18" @default.
- W1509766189 title "Error Control for Probabilistic Model Checking" @default.
- W1509766189 cites W1489725951 @default.
- W1509766189 cites W1538260476 @default.
- W1509766189 cites W1544634046 @default.
- W1509766189 cites W1560643704 @default.
- W1509766189 cites W1590315663 @default.
- W1509766189 cites W2005998857 @default.
- W1509766189 cites W2090311494 @default.
- W1509766189 cites W2096899005 @default.
- W1509766189 cites W2101508170 @default.
- W1509766189 cites W2122510266 @default.
- W1509766189 cites W2141881497 @default.
- W1509766189 cites W2162943184 @default.
- W1509766189 cites W2167624633 @default.
- W1509766189 cites W4230704549 @default.
- W1509766189 cites W4238472918 @default.
- W1509766189 doi "https://doi.org/10.1007/11609773_10" @default.
- W1509766189 hasPublicationYear "2005" @default.
- W1509766189 type Work @default.
- W1509766189 sameAs 1509766189 @default.
- W1509766189 citedByCount "32" @default.
- W1509766189 countsByYear W15097661892014 @default.
- W1509766189 countsByYear W15097661892015 @default.
- W1509766189 countsByYear W15097661892016 @default.
- W1509766189 countsByYear W15097661892017 @default.
- W1509766189 countsByYear W15097661892018 @default.
- W1509766189 countsByYear W15097661892019 @default.
- W1509766189 countsByYear W15097661892020 @default.
- W1509766189 countsByYear W15097661892021 @default.
- W1509766189 crossrefType "book-chapter" @default.
- W1509766189 hasAuthorship W1509766189A5026132956 @default.
- W1509766189 hasBestOaLocation W15097661892 @default.
- W1509766189 hasConcept C11413529 @default.
- W1509766189 hasConcept C114289077 @default.
- W1509766189 hasConcept C154945302 @default.
- W1509766189 hasConcept C41008148 @default.
- W1509766189 hasConcept C45374587 @default.
- W1509766189 hasConcept C49937458 @default.
- W1509766189 hasConcept C55439883 @default.
- W1509766189 hasConcept C80444323 @default.
- W1509766189 hasConcept C92224547 @default.
- W1509766189 hasConceptScore W1509766189C11413529 @default.
- W1509766189 hasConceptScore W1509766189C114289077 @default.
- W1509766189 hasConceptScore W1509766189C154945302 @default.
- W1509766189 hasConceptScore W1509766189C41008148 @default.
- W1509766189 hasConceptScore W1509766189C45374587 @default.
- W1509766189 hasConceptScore W1509766189C49937458 @default.
- W1509766189 hasConceptScore W1509766189C55439883 @default.
- W1509766189 hasConceptScore W1509766189C80444323 @default.
- W1509766189 hasConceptScore W1509766189C92224547 @default.
- W1509766189 hasLocation W15097661891 @default.
- W1509766189 hasLocation W15097661892 @default.
- W1509766189 hasOpenAccess W1509766189 @default.
- W1509766189 hasPrimaryLocation W15097661891 @default.
- W1509766189 hasRelatedWork W2080024810 @default.
- W1509766189 hasRelatedWork W2097255270 @default.
- W1509766189 hasRelatedWork W2107399212 @default.
- W1509766189 hasRelatedWork W2151178082 @default.
- W1509766189 hasRelatedWork W2270471158 @default.
- W1509766189 hasRelatedWork W39738311 @default.
- W1509766189 hasRelatedWork W4246535868 @default.
- W1509766189 hasRelatedWork W4319165925 @default.
- W1509766189 hasRelatedWork W4385750091 @default.
- W1509766189 hasRelatedWork W1601254210 @default.
- W1509766189 isParatext "false" @default.
- W1509766189 isRetracted "false" @default.
- W1509766189 magId "1509766189" @default.
- W1509766189 workType "book-chapter" @default.