Matches in SemOpenAlex for { <https://semopenalex.org/work/W175120007> ?p ?o ?g. }
- W175120007 endingPage "12" @default.
- W175120007 startingPage "1" @default.
- W175120007 abstract "Statistical Model Checking is useful in situations where it is either inconvenient or impossible to build a concise representation of the global transition relation. This happens frequently with cyber-physical systems: Two examples are verifying Stateflow-Simulink models and in reasoning about biochemical reactions in Systems Biology. The main problem with Statistical Model Checking is caused by rare events. We describe how Statistical Model Checking works and demonstrate the problem with rare events. We then describe how Importance Sampling with the Cross-Entropy Technique can be used to address this problem." @default.
- W175120007 created "2016-06-24" @default.
- W175120007 creator A5054022139 @default.
- W175120007 creator A5090974026 @default.
- W175120007 date "2011-01-01" @default.
- W175120007 modified "2023-10-07" @default.
- W175120007 title "Statistical Model Checking for Cyber-Physical Systems" @default.
- W175120007 cites W1489725951 @default.
- W175120007 cites W1544634046 @default.
- W175120007 cites W1547304883 @default.
- W175120007 cites W1560643704 @default.
- W175120007 cites W1569248486 @default.
- W175120007 cites W1577352482 @default.
- W175120007 cites W1603153151 @default.
- W175120007 cites W1783413852 @default.
- W175120007 cites W1806449990 @default.
- W175120007 cites W1859458367 @default.
- W175120007 cites W1972203711 @default.
- W175120007 cites W2007072455 @default.
- W175120007 cites W2026629052 @default.
- W175120007 cites W2067971887 @default.
- W175120007 cites W2105964247 @default.
- W175120007 cites W2141881497 @default.
- W175120007 cites W2169887034 @default.
- W175120007 cites W2238201325 @default.
- W175120007 cites W4240849727 @default.
- W175120007 cites W4244457856 @default.
- W175120007 cites W4253187718 @default.
- W175120007 doi "https://doi.org/10.1007/978-3-642-24372-1_1" @default.
- W175120007 hasPublicationYear "2011" @default.
- W175120007 type Work @default.
- W175120007 sameAs 175120007 @default.
- W175120007 citedByCount "113" @default.
- W175120007 countsByYear W1751200072012 @default.
- W175120007 countsByYear W1751200072013 @default.
- W175120007 countsByYear W1751200072014 @default.
- W175120007 countsByYear W1751200072015 @default.
- W175120007 countsByYear W1751200072016 @default.
- W175120007 countsByYear W1751200072017 @default.
- W175120007 countsByYear W1751200072018 @default.
- W175120007 countsByYear W1751200072019 @default.
- W175120007 countsByYear W1751200072020 @default.
- W175120007 countsByYear W1751200072021 @default.
- W175120007 countsByYear W1751200072022 @default.
- W175120007 countsByYear W1751200072023 @default.
- W175120007 crossrefType "book-chapter" @default.
- W175120007 hasAuthorship W175120007A5054022139 @default.
- W175120007 hasAuthorship W175120007A5090974026 @default.
- W175120007 hasConcept C106301342 @default.
- W175120007 hasConcept C110251889 @default.
- W175120007 hasConcept C111919701 @default.
- W175120007 hasConcept C114289077 @default.
- W175120007 hasConcept C116672817 @default.
- W175120007 hasConcept C121332964 @default.
- W175120007 hasConcept C124101348 @default.
- W175120007 hasConcept C154945302 @default.
- W175120007 hasConcept C17744445 @default.
- W175120007 hasConcept C179768478 @default.
- W175120007 hasConcept C199360897 @default.
- W175120007 hasConcept C199539241 @default.
- W175120007 hasConcept C25343380 @default.
- W175120007 hasConcept C2776359362 @default.
- W175120007 hasConcept C2779752788 @default.
- W175120007 hasConcept C2780365114 @default.
- W175120007 hasConcept C41008148 @default.
- W175120007 hasConcept C62520636 @default.
- W175120007 hasConcept C80444323 @default.
- W175120007 hasConcept C94625758 @default.
- W175120007 hasConceptScore W175120007C106301342 @default.
- W175120007 hasConceptScore W175120007C110251889 @default.
- W175120007 hasConceptScore W175120007C111919701 @default.
- W175120007 hasConceptScore W175120007C114289077 @default.
- W175120007 hasConceptScore W175120007C116672817 @default.
- W175120007 hasConceptScore W175120007C121332964 @default.
- W175120007 hasConceptScore W175120007C124101348 @default.
- W175120007 hasConceptScore W175120007C154945302 @default.
- W175120007 hasConceptScore W175120007C17744445 @default.
- W175120007 hasConceptScore W175120007C179768478 @default.
- W175120007 hasConceptScore W175120007C199360897 @default.
- W175120007 hasConceptScore W175120007C199539241 @default.
- W175120007 hasConceptScore W175120007C25343380 @default.
- W175120007 hasConceptScore W175120007C2776359362 @default.
- W175120007 hasConceptScore W175120007C2779752788 @default.
- W175120007 hasConceptScore W175120007C2780365114 @default.
- W175120007 hasConceptScore W175120007C41008148 @default.
- W175120007 hasConceptScore W175120007C62520636 @default.
- W175120007 hasConceptScore W175120007C80444323 @default.
- W175120007 hasConceptScore W175120007C94625758 @default.
- W175120007 hasLocation W1751200071 @default.
- W175120007 hasOpenAccess W175120007 @default.
- W175120007 hasPrimaryLocation W1751200071 @default.
- W175120007 hasRelatedWork W175120007 @default.
- W175120007 hasRelatedWork W1991536873 @default.
- W175120007 hasRelatedWork W2152476303 @default.
- W175120007 hasRelatedWork W2803279029 @default.
- W175120007 hasRelatedWork W2954293113 @default.
- W175120007 hasRelatedWork W2982316528 @default.
- W175120007 hasRelatedWork W3014929273 @default.