{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T16:30:56Z","timestamp":1756312256479,"version":"3.40.3"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031163357"},{"type":"electronic","value":"9783031163364"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-16336-4_2","type":"book-chapter","created":{"date-parts":[[2022,9,10]],"date-time":"2022-09-10T18:02:40Z","timestamp":1662832960000},"page":"26-42","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Distribution Estimation for\u00a0Probabilistic Loops"],"prefix":"10.1007","author":[{"given":"Ahmad","family":"Karimi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcel","family":"Moosbrugger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miroslav","family":"Stankovi\u010d","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Kov\u00e1cs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ezio","family":"Bartocci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Efstathia","family":"Bura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,11]]},"reference":[{"issue":"3","key":"2_CR1","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/S0266-8920(02)00012-7","volume":"17","author":"G Athanassoulis","year":"2002","unstructured":"Athanassoulis, G., Gavriliadis, P.: The truncated Hausdorff moment problem solved by using kernel density functions. Probab. Eng. Mech. 17(3), 273\u2013291 (2002)","journal-title":"Probab. Eng. Mech."},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-030-31784-3_15","volume-title":"Automated Technology for Verification and Analysis","author":"E Bartocci","year":"2019","unstructured":"Bartocci, E., Kov\u00e1cs, L., Stankovi\u010d, M.: Automatic generation of moment-based invariants for prob-solvable loops. In: Chen, Y.-F., Cheng, C.-H., Esparza, J. (eds.) ATVA 2019. LNCS, vol. 11781, pp. 255\u2013276. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-31784-3_15"},{"key":"2_CR3","volume-title":"Bayesian Theory","author":"JM Bernardo","year":"2009","unstructured":"Bernardo, J.M., Smith, A.F.: Bayesian Theory. Wiley, Hoboken (2009)"},{"issue":"2","key":"2_CR4","first-page":"1","volume":"13","author":"S Bhat","year":"2017","unstructured":"Bhat, S., Borgstr\u00f6m, J., Gordon, A.D., Russo, C.V.: Deriving probability density functions from probabilistic functional programs. Log. Methods Comput. Sci. 13(2), 1\u201332 (2017)","journal-title":"Log. Methods Comput. Sci."},{"issue":"405003","key":"2_CR5","first-page":"1","volume":"43","author":"P Biswas","year":"2010","unstructured":"Biswas, P., Bhattacharya, A.K.: Function reconstruction as a classical moment problem: a maximum entropy approach. J. Phys. A: Math. Theor. 43(405003), 1\u201319 (2010)","journal-title":"J. Phys. A: Math. Theor."},{"key":"2_CR6","unstructured":"Brenn, T., Anfinsen, S.N.: A revisit of the Gram-Charlier and Edgeworth series expansions. Preprint, pp. 1\u201312 (2017). https:\/\/hdl.handle.net\/10037\/11261"},{"issue":"6","key":"2_CR7","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1080\/00207390412331271285","volume":"35","author":"D Broca","year":"2004","unstructured":"Broca, D.: Cumulant-moment relations through determinants. Int. J. Math. Educ. Sci. Technol. 35(6), 917\u2013921 (2004)","journal-title":"Int. J. Math. Educ. Sci. Technol."},{"issue":"1","key":"2_CR8","doi-asserted-by":"publisher","first-page":"143","DOI":"10.2307\/2331391","volume":"31","author":"PW Buchen","year":"1996","unstructured":"Buchen, P.W., Kelly, M.: The maximum entropy distribution of an asset inferred from option prices. J. Financ. Quant. Anal. 31(1), 143\u2013159 (1996)","journal-title":"J. Financ. Quant. Anal."},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-319-28228-2_9","volume-title":"Practical Aspects of Declarative Languages","author":"J Carette","year":"2016","unstructured":"Carette, J., Shan, C.-C.: Simplifying probabilistic programs using computer algebra. In: Gavanelli, M., Reppy, J. (eds.) PADL 2016. LNCS, vol. 9585, pp. 135\u2013152. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-28228-2_9"},{"issue":"1","key":"2_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.18637\/jss.v076.i01","volume":"76","author":"B Carpenter","year":"2017","unstructured":"Carpenter, B., et al.: Stan: a probabilistic programming language. J. Stat. Softw. 76(1), 1\u201332 (2017)","journal-title":"J. Stat. Softw."},{"issue":"9","key":"2_CR11","doi-asserted-by":"publisher","first-page":"2741","DOI":"10.1016\/j.ces.2010.01.007","volume":"65","author":"L De Souza","year":"2010","unstructured":"De Souza, L., Janiga, G., John, V., Th\u00e9venin, D.: Reconstruction of a distribution from a finite number of moments with an adaptive spline-based algorithm. Chem. Eng. Sci. 65(9), 2741\u20132750 (2010)","journal-title":"Chem. Eng. Sci."},{"key":"2_CR12","doi-asserted-by":"publisher","DOI":"10.1017\/9781108591034","volume-title":"Probability: Theory and Examples","author":"R Durrett","year":"2019","unstructured":"Durrett, R.: Probability: Theory and Examples. Cambridge University Press, Cambridge (2019)"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1007\/978-3-319-68167-2_26","volume-title":"Automated Technology for Verification and Analysis","author":"Y Feng","year":"2017","unstructured":"Feng, Y., Zhang, L., Jansen, D.N., Zhan, N., Xia, B.: Finding polynomial loop invariants for probabilistic programs. In: D\u2019Souza, D., Narayan Kumar, K. (eds.) ATVA 2017. LNCS, vol. 10482, pp. 400\u2013416. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68167-2_26"},{"issue":"1","key":"2_CR14","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.cam.2008.10.011","volume":"229","author":"P Gavriliadis","year":"2009","unstructured":"Gavriliadis, P., Athanassoulis, G.: Moment information for probability distributions, without solving the moment problem, II: main-mass, tails and shape approximation. J. Comput. Appl. Math. 229(1), 7\u201315 (2009)","journal-title":"J. Comput. Appl. Math."},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-319-41528-4_4","volume-title":"Computer Aided Verification","author":"T Gehr","year":"2016","unstructured":"Gehr, T., Misailovic, S., Vechev, M.: PSI: exact symbolic inference for probabilistic programs. In: Chaudhuri, S., Farzan, A. (eds.) CAV 2016. LNCS, vol. 9779, pp. 62\u201383. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-41528-4_4"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Gehr, T., Steffen, S., Vechev, M.: $$\\lambda $$PSI: exact inference for higher-order probabilistic programs. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDA 2020), pp. 883\u2013897 (2020)","DOI":"10.1145\/3385412.3386006"},{"issue":"7553","key":"2_CR17","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1038\/nature14541","volume":"521","author":"Z Ghahramani","year":"2015","unstructured":"Ghahramani, Z.: Probabilistic machine learning and artificial intelligence. Nature 521(7553), 452\u2013459 (2015)","journal-title":"Nature"},{"issue":"2","key":"2_CR18","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1111\/j.1751-5823.2000.tb00318.x","volume":"68","author":"A Hald","year":"2000","unstructured":"Hald, A.: The early history of the cumulants and the Gram-Charlier series. Int. Stat. Rev. 68(2), 137\u2013153 (2000)","journal-title":"Int. Stat. Rev."},{"issue":"1","key":"2_CR19","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1093\/biomet\/57.1.97","volume":"57","author":"W Hastings","year":"1970","unstructured":"Hastings, W.: Monte Carlo sampling methods using Markov chains and their applications. Biometrika 57(1), 97\u2013109 (1970)","journal-title":"Biometrika"},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3428208","volume":"4","author":"S Holtzen","year":"2020","unstructured":"Holtzen, S., Van den Broeck, G., Millstein, T.: Scaling exact inference for discrete probabilistic programs. Proc. ACM Program. Lang. 4, 1\u201331 (2020)","journal-title":"Proc. ACM Program. Lang."},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-030-88885-5_16","volume-title":"Automated Technology for Verification and Analysis","author":"Z Huang","year":"2021","unstructured":"Huang, Z., Dutta, S., Misailovic, S.: AQUA: automated quantized inference for probabilistic programs. In: Hou, Z., Ganesh, V. (eds.) ATVA 2021. LNCS, vol. 12971, pp. 229\u2013246. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-88885-5_16"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3389\/fphy.2018.00046","volume":"6","author":"GC Innocentini","year":"2018","unstructured":"Innocentini, G.C., Hodgkinson, A., Radulescu, O.: Time dependent stochastic mRNA and protein synthesis in piecewise-deterministic models of gene networks. Front. Phys. 6, 1\u201316 (2018)","journal-title":"Front. Phys."},{"issue":"11","key":"2_CR23","doi-asserted-by":"publisher","first-page":"2890","DOI":"10.1016\/j.ces.2007.02.041","volume":"62","author":"V John","year":"2007","unstructured":"John, V., Angelov, I., \u00d6nc\u00fcl, A., Th\u00e9venin, D.: Techniques for the reconstruction of a distribution from a finite number of its moments. Chem. Eng. Sci. 62(11), 2890\u20132904 (2007)","journal-title":"Chem. Eng. Sci."},{"key":"2_CR24","unstructured":"Kendall, M., Stuart, A.: The Advanced Theory of Statistics. Volume 1: Distribution Theory. Macmillan, New York (1977)"},{"key":"2_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-030-17465-1_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S Kura","year":"2019","unstructured":"Kura, S., Urabe, N., Hasuo, I.: Tail probabilities for randomized program runtimes via martingales for higher moments. In: Vojnar, T., Zhang, L. (eds.) TACAS 2019. LNCS, vol. 11428, pp. 135\u2013153. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17465-1_8"},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1016\/j.compchemeng.2015.09.008","volume":"84","author":"N Lebaz","year":"2016","unstructured":"Lebaz, N., Cockx, A., Sp\u00e9randio, M., Morchain, J.: Reconstruction of a distribution from a finite number of its moments: a comparative study in the case of depolymerization process. Comput. Chem. Eng. 84, 326\u2013337 (2016)","journal-title":"Comput. Chem. Eng."},{"issue":"2","key":"2_CR27","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1090\/qam\/10666","volume":"2","author":"K Levenberg","year":"1944","unstructured":"Levenberg, K.: A method for the solution of certain non-linear problems in least squares. Q. Appl. Math. 2(2), 164\u2013168 (1944)","journal-title":"Q. Appl. Math."},{"issue":"2","key":"2_CR28","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1137\/0111030","volume":"11","author":"DW Marquardt","year":"1963","unstructured":"Marquardt, D.W.: An algorithm for least-squares estimation of nonlinear parameters. J. Soc. Ind. Appl. Math. 11(2), 431\u2013441 (1963)","journal-title":"J. Soc. Ind. Appl. Math."},{"issue":"253","key":"2_CR29","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1080\/01621459.1951.10500769","volume":"46","author":"FJ Massey Jr","year":"1951","unstructured":"Massey, F.J., Jr.: The Kolmogorov-Smirnov test for goodness of fit. J. Am. Stat. Assoc. 46(253), 68\u201378 (1951)","journal-title":"J. Am. Stat. Assoc."},{"key":"2_CR30","unstructured":"Moosbrugger, M., Stankovi\u010d, M., Bartocci, E., Kov\u00e1cs, L.: This is the moment for probabilistic loops, pp. 1\u201325. arXiv preprint arXiv:2204.07185 (2022)"},{"key":"2_CR31","volume-title":"Brownian Motion","author":"P M\u00f6rters","year":"2010","unstructured":"M\u00f6rters, P., Peres, Y.: Brownian Motion. Cambridge University Press, Cambridge (2010)"},{"key":"2_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-319-29604-3_5","volume-title":"Functional and Logic Programming","author":"P Narayanan","year":"2016","unstructured":"Narayanan, P., Carette, J., Romano, W., Shan, C., Zinkov, R.: Probabilistic inference by program transformation in Hakaru (system description). In: Kiselyov, O., King, A. (eds.) FLOPS 2016. LNCS, vol. 9613, pp. 62\u201379. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-29604-3_5"},{"key":"2_CR33","unstructured":"O\u2019Hagan, A., Forster, J.J.: Kendall\u2019s Advanced Theory of Statistics, Volume 2B: Bayesian Inference. Arnold (2004)"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Ross, S.M.: Introduction to Probability and Statistics for Engineers and Scientists. Academic Press (2020)","DOI":"10.1016\/B978-0-12-824346-6.00010-7"},{"key":"2_CR35","unstructured":"Silverman, B.W.: Density Estimation for Statistics and Data Analysis. Chapman & Hall\/CRC (1998)"},{"key":"2_CR36","unstructured":"Snedecor, G.W., Cochran, G.W.: Statistical Methods. Iowa State University Press (1989)"},{"issue":"2","key":"2_CR37","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0304-405X(77)90016-2","volume":"5","author":"O Vasicek","year":"1977","unstructured":"Vasicek, O.: An equilibrium characterization of the term structure. J. Financ. Econ. 5(2), 177\u2013188 (1977)","journal-title":"J. Financ. Econ."},{"issue":"3","key":"2_CR38","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1214\/aoms\/1177706528","volume":"29","author":"DL Wallace","year":"1958","unstructured":"Wallace, D.L.: Asymptotic approximations to distributions. Ann. Math. Stat. 29(3), 635\u2013654 (1958)","journal-title":"Ann. Math. Stat."},{"issue":"9","key":"2_CR39","doi-asserted-by":"publisher","first-page":"1368","DOI":"10.1016\/j.ic.2006.05.002","volume":"204","author":"HL Younes","year":"2006","unstructured":"Younes, H.L., 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."}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-16336-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,10]],"date-time":"2022-09-10T18:03:15Z","timestamp":1662832995000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-16336-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031163357","9783031163364"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-16336-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"11 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"QEST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Quantitative Evaluation of Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Warsaw","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"qest2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.qest.org\/qest2022\/","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":"44","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":"43% - 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","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":"3-4","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)"}}]}}