Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950142800> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2950142800 abstract "Quantitative properties of stochastic systems are usually specified in logics that allow one to compare the measure of executions satisfying certain temporal properties with thresholds. The model checking problem for stochastic systems with respect to such logics is typically solved by a numerical approach that iteratively computes (or approximates) the exact measure of paths satisfying relevant subformulas; the algorithms themselves depend on the class of systems being analyzed as well as the logic used for specifying the properties. Another approach to solve the model checking problem is to emph{simulate} the system for finitely many runs, and use emph{hypothesis testing} to infer whether the samples provide a emph{statistical} evidence for the satisfaction or violation of the specification. In this short paper, we survey the statistical approach, and outline its main advantages in terms of efficiency, uniformity, and simplicity." @default.
- W2950142800 created "2019-06-27" @default.
- W2950142800 creator A5000905818 @default.
- W2950142800 creator A5030129842 @default.
- W2950142800 date "2010-05-08" @default.
- W2950142800 modified "2023-09-28" @default.
- W2950142800 title "Statistical Model Checking : An Overview" @default.
- W2950142800 cites W1509766189 @default.
- W2950142800 cites W1520566118 @default.
- W2950142800 cites W1523289856 @default.
- W2950142800 cites W1533572394 @default.
- W2950142800 cites W1544634046 @default.
- W2950142800 cites W1558483585 @default.
- W2950142800 cites W1560643704 @default.
- W2950142800 cites W1588278207 @default.
- W2950142800 cites W1783058654 @default.
- W2950142800 cites W1850679117 @default.
- W2950142800 cites W1884784351 @default.
- W2950142800 cites W1976268573 @default.
- W2950142800 cites W1998674588 @default.
- W2950142800 cites W1999836359 @default.
- W2950142800 cites W2023808162 @default.
- W2950142800 cites W2067971887 @default.
- W2950142800 cites W2082874501 @default.
- W2950142800 cites W2107701089 @default.
- W2950142800 cites W2114158268 @default.
- W2950142800 cites W2115857453 @default.
- W2950142800 cites W2123576015 @default.
- W2950142800 cites W2141881497 @default.
- W2950142800 cites W2167770337 @default.
- W2950142800 cites W2175715045 @default.
- W2950142800 cites W2238201325 @default.
- W2950142800 cites W2620748922 @default.
- W2950142800 cites W2913788705 @default.
- W2950142800 cites W2584250636 @default.
- W2950142800 hasPublicationYear "2010" @default.
- W2950142800 type Work @default.
- W2950142800 sameAs 2950142800 @default.
- W2950142800 citedByCount "5" @default.
- W2950142800 countsByYear W29501428002013 @default.
- W2950142800 countsByYear W29501428002014 @default.
- W2950142800 countsByYear W29501428002015 @default.
- W2950142800 countsByYear W29501428002018 @default.
- W2950142800 countsByYear W29501428002019 @default.
- W2950142800 crossrefType "posted-content" @default.
- W2950142800 hasAuthorship W2950142800A5000905818 @default.
- W2950142800 hasAuthorship W2950142800A5030129842 @default.
- W2950142800 hasConcept C110251889 @default.
- W2950142800 hasConcept C111472728 @default.
- W2950142800 hasConcept C11413529 @default.
- W2950142800 hasConcept C124101348 @default.
- W2950142800 hasConcept C138885662 @default.
- W2950142800 hasConcept C154945302 @default.
- W2950142800 hasConcept C2776372474 @default.
- W2950142800 hasConcept C2777212361 @default.
- W2950142800 hasConcept C2780009758 @default.
- W2950142800 hasConcept C33923547 @default.
- W2950142800 hasConcept C41008148 @default.
- W2950142800 hasConcept C80444323 @default.
- W2950142800 hasConceptScore W2950142800C110251889 @default.
- W2950142800 hasConceptScore W2950142800C111472728 @default.
- W2950142800 hasConceptScore W2950142800C11413529 @default.
- W2950142800 hasConceptScore W2950142800C124101348 @default.
- W2950142800 hasConceptScore W2950142800C138885662 @default.
- W2950142800 hasConceptScore W2950142800C154945302 @default.
- W2950142800 hasConceptScore W2950142800C2776372474 @default.
- W2950142800 hasConceptScore W2950142800C2777212361 @default.
- W2950142800 hasConceptScore W2950142800C2780009758 @default.
- W2950142800 hasConceptScore W2950142800C33923547 @default.
- W2950142800 hasConceptScore W2950142800C41008148 @default.
- W2950142800 hasConceptScore W2950142800C80444323 @default.
- W2950142800 hasLocation W29501428001 @default.
- W2950142800 hasOpenAccess W2950142800 @default.
- W2950142800 hasPrimaryLocation W29501428001 @default.
- W2950142800 hasRelatedWork W138443365 @default.
- W2950142800 hasRelatedWork W1489725951 @default.
- W2950142800 hasRelatedWork W1498432697 @default.
- W2950142800 hasRelatedWork W1520566118 @default.
- W2950142800 hasRelatedWork W1533572394 @default.
- W2950142800 hasRelatedWork W1539521870 @default.
- W2950142800 hasRelatedWork W1544634046 @default.
- W2950142800 hasRelatedWork W1558483585 @default.
- W2950142800 hasRelatedWork W1560643704 @default.
- W2950142800 hasRelatedWork W157143398 @default.
- W2950142800 hasRelatedWork W1617322827 @default.
- W2950142800 hasRelatedWork W1631091010 @default.
- W2950142800 hasRelatedWork W1658707774 @default.
- W2950142800 hasRelatedWork W1862398452 @default.
- W2950142800 hasRelatedWork W2103012681 @default.
- W2950142800 hasRelatedWork W2115857453 @default.
- W2950142800 hasRelatedWork W2123522774 @default.
- W2950142800 hasRelatedWork W2167770337 @default.
- W2950142800 hasRelatedWork W2481947210 @default.
- W2950142800 hasRelatedWork W2502580831 @default.
- W2950142800 isParatext "false" @default.
- W2950142800 isRetracted "false" @default.
- W2950142800 magId "2950142800" @default.
- W2950142800 workType "article" @default.