{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T03:52:37Z","timestamp":1743133957440,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030659547"},{"type":"electronic","value":"9783030659554"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-65955-4_12","type":"book-chapter","created":{"date-parts":[[2020,12,19]],"date-time":"2020-12-19T16:02:50Z","timestamp":1608393770000},"page":"165-179","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Evaluation of Estimation Techniques for Probabilistic Verification"],"prefix":"10.1007","author":[{"given":"Mariia","family":"Vasileva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Zuliani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,12,20]]},"reference":[{"issue":"2","key":"12_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."},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"R Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H.: Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds.) HS 1991-1992. LNCS, vol. 736, pp. 209\u2013229. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/3-540-57318-6_30"},{"issue":"3\/4","key":"12_CR3","doi-asserted-by":"publisher","first-page":"246","DOI":"10.2307\/2332343","volume":"35","author":"FJ Anscombe","year":"1948","unstructured":"Anscombe, F.J.: The transformation of Poisson, binomial and negative-binomial data. Biometrika 35(3\/4), 246\u2013254 (1948)","journal-title":"Biometrika"},{"issue":"3\/4","key":"12_CR4","doi-asserted-by":"publisher","first-page":"461","DOI":"10.2307\/2332926","volume":"43","author":"FJ Anscombe","year":"1956","unstructured":"Anscombe, F.J.: On estimating binomial response relations. Biometrika 43(3\/4), 461\u2013464 (1956)","journal-title":"Biometrika"},{"issue":"1","key":"12_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3103\/S1063454114010038","volume":"47","author":"AA Antonov","year":"2015","unstructured":"Antonov, A.A., Ermakov, S.M.: Empirically estimating error of integration by Quasi-Monte Carlo method. Vestnik St. Petersburg Univ. Math. 47(1), 1\u20138 (2015)","journal-title":"Vestnik St. Petersburg Univ. Math."},{"issue":"6","key":"12_CR6","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C Baier","year":"2003","unstructured":"Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Softw. Eng. 29(6), 524\u2013541 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/3-540-60692-0_70","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"A Bianco","year":"1995","unstructured":"Bianco, A., de Alfaro, L.: Model checking of probabilistic and nondeterministic systems. In: Thiagarajan, P.S. (ed.) FSTTCS 1995. LNCS, vol. 1026, pp. 499\u2013513. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-60692-0_70"},{"issue":"4","key":"12_CR8","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1093\/biomet\/26.4.404","volume":"26","author":"CJ Clopper","year":"1934","unstructured":"Clopper, C.J., Pearson, E.S.: The use of confidence or fiducial limits illustrated in the case of the binomial. Biometrika 26(4), 404\u2013413 (1934)","journal-title":"Biometrika"},{"issue":"2","key":"12_CR9","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1214\/ss\/1009213286","volume":"16","author":"LD Brown","year":"2001","unstructured":"Brown, L.D., Cai, T.T., DasGupta, A.: Interval estimation for a binomial proportion. Stat. Sci. 16(2), 128\u2013133 (2001)","journal-title":"Stat. Sci."},{"issue":"4","key":"12_CR10","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1093\/jssam\/smv024","volume":"3","author":"N Dean","year":"2015","unstructured":"Dean, N., Pagano, M.: Evaluating confidence interval methods for binomial proportions in clustered surveys. J. Surv. Stat. Methodol. 3(4), 484\u2013503 (2015)","journal-title":"J. Surv. Stat. Methodol."},{"issue":"158","key":"12_CR11","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1080\/01621459.1927.10502953","volume":"22","author":"WB Edwin","year":"1927","unstructured":"Edwin, W.B.: Probable inference, the law of succession, and statistical inference. J. Am. Stat. Assoc. 22(158), 209\u2013212 (1927)","journal-title":"J. Am. Stat. Assoc."},{"issue":"1","key":"12_CR12","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/3313909.3313913","volume":"6","author":"M Fr\u00e4nzle","year":"2019","unstructured":"Fr\u00e4nzle, M., Chen, M., Kr\u00f6ger, P.: In memory of Oded Maler: automatic reachability analysis of hybrid-state automata. ACM SIGLOG News 6(1), 19\u201339 (2019)","journal-title":"ACM SIGLOG News"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Gao, S., Avigad, J., Clarke, E.M.: Delta-decidability over the reals. In: LICS, pp. 305\u2013314 (2012)","DOI":"10.1109\/LICS.2012.41"},{"issue":"2","key":"12_CR14","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.jco.2008.10.001","volume":"25","author":"M Gnewuch","year":"2009","unstructured":"Gnewuch, M., Srivastav, A., Winzen, C.: Finding optimal volume subintervals with k points and calculating the star discrepancy are NP-hard problems. J. Complex. 25(2), 115\u2013127 (2009)","journal-title":"J. Complex."},{"issue":"1","key":"12_CR15","doi-asserted-by":"publisher","first-page":"63","DOI":"10.3233\/MAS-140312","volume":"10","author":"KK Mahajan","year":"2015","unstructured":"Mahajan, K.K., Arora, S., Kaur, K.: Bayesian estimation for Gini index and a poverty measure in case of Pareto distribution using Jeffreys\u2019 prior. MASA 10(1), 63\u201372 (2015)","journal-title":"MASA"},{"issue":"4","key":"12_CR16","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1080\/03610910701767721","volume":"37","author":"V Pradhan","year":"2008","unstructured":"Pradhan, V., Banerjee, T.: Confidence interval of the difference of two independent binomial proportions using weighted profile likelihood. Commun. Stati. - Simul. Comput. 37(4), 645\u2013659 (2008)","journal-title":"Commun. Stati. - Simul. Comput."},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Shmarov, F., Zuliani, P.: ProbReach: verified probabilistic $$\\delta $$-reachability for stochastic hybrid systems. In: HSCC, pp. 134\u2013139. ACM (2015)","DOI":"10.1145\/2728606.2728625"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-319-49052-6_10","volume-title":"Hardware and Software: Verification and Testing","author":"F Shmarov","year":"2016","unstructured":"Shmarov, F., Zuliani, P.: Probabilistic hybrid systems verification via SMT and Monte Carlo techniques. In: Bloem, R., Arbel, E. (eds.) HVC 2016. LNCS, vol. 10028, pp. 152\u2013168. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-49052-6_10"},{"issue":"4","key":"12_CR19","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1016\/0041-5553(67)90144-9","volume":"7","author":"IM Sobol\u2019","year":"1967","unstructured":"Sobol\u2019, I.M.: On the distribution of points in a cube and the approximate evaluation of integrals. USSR Comput. Math. Math. Phys. 7(4), 86\u2013112 (1967)","journal-title":"USSR Comput. Math. Math. Phys."},{"key":"12_CR20","volume-title":"Information-Based Complexity","author":"JF Traub","year":"1988","unstructured":"Traub, J.F., Wasilkowski, G.W., Wo\u017aniakowski, H.: Information-Based Complexity. Academic Press, Cambridge (1988)"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: Automatic verification of probabilistic concurrent finite-state programs. In: FOCS, pp. 327\u2013338 (1985)","DOI":"10.1109\/SFCS.1985.12"},{"issue":"9","key":"12_CR22","doi-asserted-by":"publisher","first-page":"1368","DOI":"10.1016\/j.ic.2006.05.002","volume":"204","author":"HLS Younes","year":"2006","unstructured":"Younes, H.L.S., Simmons, R.G.: Statistical probabilistic model checking with a focus on time-bounded properties. Inf. Comput. 204(9), 1368\u20131409 (2006)","journal-title":"Inf. Comput."},{"issue":"2","key":"12_CR23","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/s10703-013-0195-3","volume":"43","author":"P Zuliani","year":"2013","unstructured":"Zuliani, P., Platzer, A., Clarke, E.M.: Bayesian statistical model checking with application to stateflow\/simulink verification. Formal Methods Syst. Des. 43(2), 338\u2013367 (2013)","journal-title":"Formal Methods Syst. Des."}],"container-title":["Lecture Notes in Computer Science","Verification and Evaluation of Computer and Communication Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-65955-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,17]],"date-time":"2021-04-17T23:34:35Z","timestamp":1618702475000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-65955-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030659547","9783030659554"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-65955-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"20 December 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"VECoS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Verification and Evaluation of Computer and Communication Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Xi'an","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"vecos2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/vecos-world.org\/2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"60","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"32% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.26","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.86","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}