{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:43:17Z","timestamp":1743043397578,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471655"},{"type":"electronic","value":"9783319471662"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47166-2_2","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T22:07:34Z","timestamp":1475618854000},"page":"16-26","source":"Crossref","is-referenced-by-count":3,"title":["Hypothesis Testing for Rare-Event Simulation: Limitations and Possibilities"],"prefix":"10.1007","author":[{"given":"Dani\u00ebl","family":"Reijsbergen","sequence":"first","affiliation":[]},{"given":"Pieter-Tjerk","family":"de Boer","sequence":"additional","affiliation":[]},{"given":"Werner","family":"Scheinhardt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"issue":"2","key":"2_CR1","first-page":"119","volume":"52","author":"A Agresti","year":"1998","unstructured":"Agresti, A., Coull, B.A.: Approximate is better than \u201cexact\u201d for interval estimation of binomial proportions. Am. Stat. 52(2), 119\u2013126 (1998)","journal-title":"Am. Stat."},{"issue":"3","key":"2_CR2","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1109\/24.974123","volume":"50","author":"C Alexopoulos","year":"2001","unstructured":"Alexopoulos, C., Shultes, B.C.: Estimating reliability measures for highly-dependable markov systems, using balanced likelihood ratios. IEEE Trans. Reliab. 50(3), 265\u2013280 (2001)","journal-title":"IEEE Trans. Reliab."},{"key":"2_CR3","unstructured":"Barbot, B.: Acceleration for statistical model checking. Ph.D thesis, \u00c9cole normale sup\u00e9rieure de Cachan (2014)"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-642-28756-5_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B Barbot","year":"2012","unstructured":"Barbot, B., Haddad, S., Picaronny, C.: Coupling and importance sampling for statistical model checking. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol. 7214, pp. 331\u2013346. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-28756-5_23"},{"issue":"2","key":"2_CR5","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1214\/ss\/1009213286","volume":"16","author":"LD Brown","year":"2001","unstructured":"Brown, L.D., Cai, T., DasGupta, A.: Interval estimation for a binomial proportion. Stat. Sci. 16(2), 101\u2013117 (2001)","journal-title":"Stat. Sci."},{"issue":"2","key":"2_CR6","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1214\/aoms\/1177700156","volume":"36","author":"YS Chow","year":"1965","unstructured":"Chow, Y.S., Robbins, H.: On the asymptotic theory of fixed-width sequential confidence intervals for the mean. Ann. Math. Stat. 36(2), 457\u2013462 (1965)","journal-title":"Ann. Math. Stat."},{"key":"2_CR7","doi-asserted-by":"crossref","first-page":"562","DOI":"10.1016\/j.spa.2008.02.017","volume":"119","author":"T Dean","year":"2009","unstructured":"Dean, T., Dupuis, P.: Splitting for rare event simulation: a large deviation approach to design and analysis. Stochast. Process. Appl. 119, 562\u2013587 (2009)","journal-title":"Stochast. Process. Appl."},{"issue":"1","key":"2_CR8","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/12.123381","volume":"41","author":"A Goyal","year":"1992","unstructured":"Goyal, A., Shahabuddin, P., Heidelberger, P., Nicola, V.F., Glynn, P.W.: A unified framework for simulating Markovian models of highly dependable systems. IEEE Trans. Comput. 41(1), 36\u201351 (1992)","journal-title":"IEEE Trans. Comput."},{"key":"2_CR9","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1080\/01621459.1963.10500830","volume":"58","author":"W Hoeffding","year":"1963","unstructured":"Hoeffding, W.: Probability inequalities for sums of bounded random variables. J. Am. Stat. Assoc. 58, 13\u201330 (1963)","journal-title":"J. Am. Stat. Assoc."},{"key":"2_CR10","unstructured":"Jegourel, C.: Rare event simulation for statistical model checking. Ph.D thesis, Universit\u00e9 de Rennes 1 (2014)"},{"key":"2_CR11","unstructured":"Kahn, H., Harris, T.E.: Estimation of particle transmission by random sampling. In: Monte Carlo Method; Proceedings of a Symposium held June 29, 30, and July 1, 1949. Nat. Bur. Standards Appl. Math. Series, vol. 12, pp. 27\u201330 (1951)"},{"issue":"1","key":"2_CR12","first-page":"6","volume":"20","author":"P L\u2019Ecuyer","year":"2010","unstructured":"L\u2019Ecuyer, P., Blanchet, J., Tuffin, B., Glynn, P.: Asymptotic robustness of estimators in rare-event simulation. ACM Trans. Model. Comput. Simul. (TOMACS) 20(1), 6 (2010)","journal-title":"ACM Trans. Model. Comput. Simul. (TOMACS)"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-16612-9_11","volume-title":"Runtime Verification","author":"A Legay","year":"2010","unstructured":"Legay, A., Delahaye, B., Bensalem, S.: Statistical model checking: an overview. In: Barringer, H., et al. (eds.) RV 2010. LNCS, vol. 6418, pp. 122\u2013135. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-16612-9_11"},{"key":"2_CR14","unstructured":"Reijsbergen, D.P.: Efficient simulation techniques for stochastic model checking. Ph.D thesis, University of Twente, Enschede, December 2013"},{"key":"2_CR15","first-page":"36","volume":"2012","author":"DP Reijsbergen","year":"2012","unstructured":"Reijsbergen, D.P., de Boer, P.T., Scheinhardt, W., Haverkort, B.R.: Fast simulation for slow paths in Markov models. Proc. RESIM 2012, 36\u201338 (2012)","journal-title":"Proc. RESIM"},{"issue":"4","key":"2_CR16","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/s10009-014-0350-1","volume":"17","author":"DP Reijsbergen","year":"2015","unstructured":"Reijsbergen, D.P., de Boer, P.T., Scheinhardt, W.R.W., Haverkort, B.R.: On hypothesis testing for statistical model checking. Int. J. Softw. Tools Technol. Transfer 17(4), 377\u2013395 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"3","key":"2_CR17","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1016\/0743-7315(92)90006-9","volume":"15","author":"WH Sanders","year":"1992","unstructured":"Sanders, W.H., Malhis, L.M.: Dependability evaluation using composed SAN-based reward models. J. Parallel Distrib. Comput. 15(3), 238\u2013254 (1992)","journal-title":"J. Parallel Distrib. Comput."},{"issue":"3","key":"2_CR18","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1287\/mnsc.40.3.333","volume":"40","author":"P Shahabuddin","year":"1994","unstructured":"Shahabuddin, P.: Importance sampling for the simulation of highly reliable Markovian systems. Manage. Sci. 40(3), 333\u2013352 (1994)","journal-title":"Manage. Sci."},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/11609773_10","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"HLS Younes","year":"2005","unstructured":"Younes, H.L.S.: Error control for probabilistic model checking. In: Emerson, E.A., Namjoshi, K.S. (eds.) VMCAI 2006. LNCS, vol. 3855, pp. 142\u2013156. Springer, Heidelberg (2005). doi: 10.1007\/11609773_10"},{"key":"2_CR20","unstructured":"Companion website to our paper [16]. http:\/\/wwwhome.ewi.utwente.nl\/~ptdeboer\/hyptest-for-smc\/"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47166-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,9]],"date-time":"2022-07-09T19:19:01Z","timestamp":1657394341000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47166-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471655","9783319471662"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47166-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}