Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569248486> ?p ?o ?g. }
- W1569248486 endingPage "234" @default.
- W1569248486 startingPage "218" @default.
- W1569248486 abstract "Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large for classical Model Checking techniques. For these models, a statistical approach to Model Checking has been shown to be an effective alternative. Extending our earlier work, we present the first algorithm for performing statistical Model Checking using Bayesian Sequential Hypothesis Testing. We show that our Bayesian approach outperforms current statistical Model Checking techniques, which rely on tests from Classical (aka Frequentist) statistics, by requiring fewer system simulations. Another advantage of our approach is the ability to incorporate prior Biological knowledge about the model being verified. We demonstrate our algorithm on a variety of models from the Systems Biology literature and show that it enables faster verification than state-of-the-art techniques, even when no prior knowledge is available." @default.
- W1569248486 created "2016-06-24" @default.
- W1569248486 creator A5030129842 @default.
- W1569248486 creator A5042353780 @default.
- W1569248486 creator A5054022139 @default.
- W1569248486 creator A5080481427 @default.
- W1569248486 creator A5090715034 @default.
- W1569248486 creator A5090974026 @default.
- W1569248486 date "2009-01-01" @default.
- W1569248486 modified "2023-10-10" @default.
- W1569248486 title "A Bayesian Approach to Model Checking Biological Systems" @default.
- W1569248486 cites W1489725951 @default.
- W1569248486 cites W1520566118 @default.
- W1569248486 cites W1525246288 @default.
- W1569248486 cites W1532361198 @default.
- W1569248486 cites W1533572394 @default.
- W1569248486 cites W1544634046 @default.
- W1569248486 cites W1560643704 @default.
- W1569248486 cites W1569248486 @default.
- W1569248486 cites W1575619134 @default.
- W1569248486 cites W1587845087 @default.
- W1569248486 cites W1590315663 @default.
- W1569248486 cites W1783413852 @default.
- W1569248486 cites W1806449990 @default.
- W1569248486 cites W1859458367 @default.
- W1569248486 cites W1972203711 @default.
- W1569248486 cites W1980570931 @default.
- W1569248486 cites W2007072455 @default.
- W1569248486 cites W2008754425 @default.
- W1569248486 cites W2026824634 @default.
- W1569248486 cites W2037689113 @default.
- W1569248486 cites W2060268739 @default.
- W1569248486 cites W2067971887 @default.
- W1569248486 cites W2080560821 @default.
- W1569248486 cites W2107697435 @default.
- W1569248486 cites W2108493072 @default.
- W1569248486 cites W2110119905 @default.
- W1569248486 cites W2110796675 @default.
- W1569248486 cites W2118039525 @default.
- W1569248486 cites W2131463591 @default.
- W1569248486 cites W2134704464 @default.
- W1569248486 cites W2141881497 @default.
- W1569248486 cites W2155418451 @default.
- W1569248486 cites W2166656159 @default.
- W1569248486 cites W2238201325 @default.
- W1569248486 cites W4230704549 @default.
- W1569248486 cites W4249610466 @default.
- W1569248486 doi "https://doi.org/10.1007/978-3-642-03845-7_15" @default.
- W1569248486 hasPublicationYear "2009" @default.
- W1569248486 type Work @default.
- W1569248486 sameAs 1569248486 @default.
- W1569248486 citedByCount "209" @default.
- W1569248486 countsByYear W15692484862012 @default.
- W1569248486 countsByYear W15692484862013 @default.
- W1569248486 countsByYear W15692484862014 @default.
- W1569248486 countsByYear W15692484862015 @default.
- W1569248486 countsByYear W15692484862016 @default.
- W1569248486 countsByYear W15692484862017 @default.
- W1569248486 countsByYear W15692484862018 @default.
- W1569248486 countsByYear W15692484862019 @default.
- W1569248486 countsByYear W15692484862020 @default.
- W1569248486 countsByYear W15692484862021 @default.
- W1569248486 countsByYear W15692484862022 @default.
- W1569248486 countsByYear W15692484862023 @default.
- W1569248486 crossrefType "book-chapter" @default.
- W1569248486 hasAuthorship W1569248486A5030129842 @default.
- W1569248486 hasAuthorship W1569248486A5042353780 @default.
- W1569248486 hasAuthorship W1569248486A5054022139 @default.
- W1569248486 hasAuthorship W1569248486A5080481427 @default.
- W1569248486 hasAuthorship W1569248486A5090715034 @default.
- W1569248486 hasAuthorship W1569248486A5090974026 @default.
- W1569248486 hasBestOaLocation W15692484862 @default.
- W1569248486 hasConcept C105795698 @default.
- W1569248486 hasConcept C107673813 @default.
- W1569248486 hasConcept C110251889 @default.
- W1569248486 hasConcept C11413529 @default.
- W1569248486 hasConcept C114289077 @default.
- W1569248486 hasConcept C119857082 @default.
- W1569248486 hasConcept C136197465 @default.
- W1569248486 hasConcept C154945302 @default.
- W1569248486 hasConcept C160234255 @default.
- W1569248486 hasConcept C162376815 @default.
- W1569248486 hasConcept C33923547 @default.
- W1569248486 hasConcept C41008148 @default.
- W1569248486 hasConcept C72434380 @default.
- W1569248486 hasConcept C80444323 @default.
- W1569248486 hasConceptScore W1569248486C105795698 @default.
- W1569248486 hasConceptScore W1569248486C107673813 @default.
- W1569248486 hasConceptScore W1569248486C110251889 @default.
- W1569248486 hasConceptScore W1569248486C11413529 @default.
- W1569248486 hasConceptScore W1569248486C114289077 @default.
- W1569248486 hasConceptScore W1569248486C119857082 @default.
- W1569248486 hasConceptScore W1569248486C136197465 @default.
- W1569248486 hasConceptScore W1569248486C154945302 @default.
- W1569248486 hasConceptScore W1569248486C160234255 @default.
- W1569248486 hasConceptScore W1569248486C162376815 @default.
- W1569248486 hasConceptScore W1569248486C33923547 @default.
- W1569248486 hasConceptScore W1569248486C41008148 @default.