{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T15:35:27Z","timestamp":1756308927956,"version":"3.40.3"},"publisher-location":"Cham","reference-count":33,"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_1","type":"book-chapter","created":{"date-parts":[[2022,9,10]],"date-time":"2022-09-10T18:02:40Z","timestamp":1662832960000},"page":"3-25","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Moment-Based Invariants for\u00a0Probabilistic Loops with\u00a0Non-polynomial Assignments"],"prefix":"10.1007","author":[{"given":"Andrey","family":"Kofnov","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":"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":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Atkeson, A., Ohanian, L.E.: Are Phillips curves useful for forecasting inflation? Q. Rev. 25(Win), 2\u201311 (2001). https:\/\/ideas.repec.org\/a\/fip\/fedmqr\/y2001iwinp2-11nv.25no.1.html","DOI":"10.21034\/qr.2511"},{"key":"1_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":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1007\/978-3-030-45190-5_28","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E Bartocci","year":"2020","unstructured":"Bartocci, E., Kov\u00e1cs, L., Stankovi\u010d, M.: Mora - automatic generation of moment-based invariants. In: TACAS 2020. LNCS, vol. 12078, pp. 492\u2013498. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-45190-5_28"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-3-662-49674-9_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"O Bouissou","year":"2016","unstructured":"Bouissou, O., Goubault, E., Putot, S., Chakarov, A., Sankaranarayanan, S.: Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities. In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016. LNCS, vol. 9636, pp. 225\u2013243. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49674-9_13"},{"key":"1_CR5","doi-asserted-by":"publisher","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Taylor model flowpipe construction for non-linear hybrid systems. In: Proceedings of RTSS 2012: the 33rd IEEE Real-Time Systems Symposium, pp. 183\u2013192. IEEE Computer Society (2012). https:\/\/doi.org\/10.1109\/RTSS.2012.70","DOI":"10.1109\/RTSS.2012.70"},{"issue":"1","key":"1_CR6","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1017\/S0022112074000991","volume":"63","author":"AJ Chorin","year":"1974","unstructured":"Chorin, A.J.: Gaussian fields and random flow. J. Fluid Mech. 63(1), 21\u201332 (1974). https:\/\/doi.org\/10.1017\/S0022112074000991","journal-title":"J. Fluid Mech."},{"issue":"4","key":"1_CR7","doi-asserted-by":"publisher","first-page":"1005","DOI":"10.1175\/JPO-D-19-0147.1","volume":"50","author":"C Denamiel","year":"2020","unstructured":"Denamiel, C., Huan, X., \u0160epi\u0107, J., Vilibi\u0107, I.: Uncertainty propagation using polynomial chaos expansions for extreme sea level hazard assessment: the case of the eastern adriatic meteotsunamis. J. Phys. Oceanogr. 50(4), 1005\u20131021 (2020). https:\/\/doi.org\/10.1175\/JPO-D-19-0147.1","journal-title":"J. Phys. Oceanogr."},{"key":"1_CR8","doi-asserted-by":"publisher","unstructured":"Ernst, O.G., Mugler, A., Starkloff, H.J., Ullmann, E.: On the convergence of generalized polynomial chaos expansions. ESAIM: M2AN 46(2), 317\u2013339 (2012). https:\/\/doi.org\/10.1051\/m2an\/2011045","DOI":"10.1051\/m2an\/2011045"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"4250","DOI":"10.1016\/j.cma.2007.04.005","volume":"196","author":"J Foo","year":"2007","unstructured":"Foo, J., Yosibash, Z., Karniadakis, G.E.: Stochastic simulation of riser-sections with uncertain measured pressure loads and\/or uncertain material properties. Comput. Methods Appl. Mech. Eng. 196, 4250\u20134271 (2007). https:\/\/doi.org\/10.1016\/j.cma.2007.04.005","journal-title":"Comput. Methods Appl. Mech. Eng."},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s10596-012-9311-5","volume":"17","author":"L Formaggia","year":"2013","unstructured":"Formaggia, L., et al.: Global sensitivity analysis through polynomial chaos expansion of a basin-scale geochemical compaction model. Comput. Geosci. 17, 25\u201342 (2013). https:\/\/doi.org\/10.1007\/s10596-012-9311-5","journal-title":"Comput. Geosci."},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1023\/A:1006514109327","volume":"32","author":"R Ghanem","year":"1998","unstructured":"Ghanem, R., Dham, S.: Stochastic finite element analysis for multiphase flow in heterogeneous porous media. Transp. Porous Medias 32, 239\u2013262 (1998). https:\/\/doi.org\/10.1023\/A:1006514109327","journal-title":"Transp. Porous Medias"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/s0045-7825(97)00250-8","volume":"158","author":"R Ghanem","year":"1998","unstructured":"Ghanem, R.: Probabilistic characterization of transport in heterogeneous media. Comput. Methods Appl. Mech. Eng. 158, 199\u2013220 (1998). https:\/\/doi.org\/10.1016\/s0045-7825(97)00250-8","journal-title":"Comput. Methods Appl. Mech. Eng."},{"key":"1_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-3094-6","volume-title":"Stochastic Finite Elements: A Spectral Approach","author":"RG Ghanem","year":"1991","unstructured":"Ghanem, R.G., Spanos, P.D.: Stochastic Finite Elements: A Spectral Approach. Springer, New York (1991). https:\/\/doi.org\/10.1007\/978-1-4612-3094-6"},{"issue":"4","key":"1_CR14","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1007\/s10596-017-9646-z","volume":"21","author":"L Giraldi","year":"2017","unstructured":"Giraldi, L., Le Ma\u00eetre, O.P., Mandli, K.T., Dawson, C.N., Hoteit, I., Knio, O.M.: Bayesian inference of earthquake parameters from buoy data using a polynomial chaos-based surrogate. Comput. Geosci. 21(4), 683\u2013699 (2017). https:\/\/doi.org\/10.1007\/s10596-017-9646-z","journal-title":"Comput. Geosci."},{"issue":"1","key":"1_CR15","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0045-7825(96)01168-1","volume":"144","author":"TD Hien","year":"1997","unstructured":"Hien, T.D., Kleiber, M.: Stochastic finite element modelling in linear transient heat transfer. Comput. Methods Appl. Mech. Eng. 144(1), 111\u2013124 (1997). https:\/\/doi.org\/10.1016\/S0045-7825(96)01168-1","journal-title":"Comput. Methods Appl. Mech. Eng."},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1016\/j.jcp.2006.01.008","volume":"216","author":"TY Hou","year":"2006","unstructured":"Hou, T.Y., Luo, W., Rozovskii, B., Zhou, H.M.: Wiener chaos expansions and numerical solutions of randomly forced equations of fluid mechanics. J. Comput. Phys. 216, 687\u2013706 (2006). https:\/\/doi.org\/10.1016\/j.jcp.2006.01.008","journal-title":"J. Comput. Phys."},{"key":"1_CR17","unstructured":"Jasour, A., Wang, A., Williams, B.C.: Moment-based exact uncertainty propagation through nonlinear stochastic autonomous systems. CoRR abs\/2101.12490 (2021). https:\/\/arxiv.org\/abs\/2101.12490"},{"key":"1_CR18","doi-asserted-by":"publisher","unstructured":"Knio, O.M., Ma\u00eetre, O.P.L.: Uncertainty propagation in CFD using polynomial chaos decomposition. Fluid Dyn. Res. 38(9), 616\u2013640 (2006). https:\/\/doi.org\/10.1016\/j.fluiddyn.2005.12.003","DOI":"10.1016\/j.fluiddyn.2005.12.003"},{"key":"1_CR19","first-page":"239","volume":"6","author":"K Makino","year":"2003","unstructured":"Makino, K., Berz, M.: Taylor models and other validated functional inclusion methods. Int. J. Pure Appl. Math. 6, 239\u2013316 (2003)","journal-title":"Int. J. Pure Appl. Math."},{"issue":"2","key":"1_CR20","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1017\/S0022112068000698","volume":"32","author":"WC Meecham","year":"1968","unstructured":"Meecham, W.C., Jeng, D.T.: Use of the Wiener-Hermite expansion for nearly normal turbulence. J. Fluid Mech. 32(2), 225\u2013249 (1968). https:\/\/doi.org\/10.1017\/S0022112068000698","journal-title":"J. Fluid Mech."},{"key":"1_CR21","doi-asserted-by":"publisher","unstructured":"Moosbrugger, M., Stankovi\u010d, M., Bartocci, E., Kov\u00e1cs, L.: This is the Moment for Probabilistic Loops. arXiv (2022). https:\/\/doi.org\/10.48550\/arXiv.2204.07185","DOI":"10.48550\/arXiv.2204.07185"},{"issue":"1","key":"1_CR22","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1109\/LCSYS.2017.2778138","volume":"2","author":"T M\u00fchlpfordt","year":"2018","unstructured":"M\u00fchlpfordt, T., Findeisen, R., Hagenmeyer, V., Faulwasser, T.: Comments on truncation errors for polynomial chaos expansions. IEEE Control Syst. Lett. 2(1), 169\u2013174 (2018). https:\/\/doi.org\/10.1109\/LCSYS.2017.2778138","journal-title":"IEEE Control Syst. Lett."},{"key":"1_CR23","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1137\/050638448","volume":"45","author":"M Neher","year":"2007","unstructured":"Neher, M., Jackson, K.R., Nedialkov, N.S.: On taylor model based integration of ODEs. SIAM J. Numer. Anal. 45, 236\u2013262 (2007). https:\/\/doi.org\/10.1137\/050638448","journal-title":"SIAM J. Numer. Anal."},{"key":"1_CR24","doi-asserted-by":"publisher","unstructured":"Sankaranarayanan, S.: Quantitative analysis of programs with probabilities and concentration of measure inequalities. Found. Probab. Program. 259 (2020). https:\/\/doi.org\/10.1017\/9781108770750.009","DOI":"10.1017\/9781108770750.009"},{"key":"1_CR25","unstructured":"Sankaranarayanan, S., Chou, Y., Goubault, E., Putot, S.: Reasoning about uncertainties in discrete-time dynamical systems using polynomial forms. In: Larochelle, H., Ranzato, M., Hadsell, R., Balcan, M.F., Lin, H. (eds.) Advances in Neural Information Processing Systems, vol. 33, pp. 17502\u201317513. Curran Associates, Inc. (2020). https:\/\/proceedings.neurips.cc\/paper\/2020\/file\/ca886eb9edb61a42256192745c72cd79-Paper.pdf"},{"issue":"6","key":"1_CR26","doi-asserted-by":"publisher","first-page":"1198","DOI":"10.1002\/nme.6262","volume":"121","author":"J Son","year":"2020","unstructured":"Son, J., Du, Y.: Probabilistic surrogate models for uncertainty analysis: dimension reduction-based polynomial chaos expansion. Int. J. Numer. Meth. Eng. 121(6), 1198\u20131217 (2020). https:\/\/doi.org\/10.1002\/nme.6262","journal-title":"Int. J. Numer. Meth. Eng."},{"key":"1_CR27","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1006\/jmaa.1996.0365","volume":"203","author":"B Stankovi\u0107","year":"1996","unstructured":"Stankovi\u0107, B.: Taylor expansion for generalized functions. J. Math. Anal. Appl. 203, 31\u201337 (1996). https:\/\/doi.org\/10.1006\/jmaa.1996.0365","journal-title":"J. Math. Anal. Appl."},{"issue":"7","key":"1_CR28","doi-asserted-by":"publisher","first-page":"901","DOI":"10.1177\/0278364912444146","volume":"31","author":"J Steinhardt","year":"2012","unstructured":"Steinhardt, J., Tedrake, R.: Finite-time regional verification of stochastic non-linear systems. Int. J. Robot. Res. 31(7), 901\u2013923 (2012). https:\/\/doi.org\/10.1177\/0278364912444146","journal-title":"Int. J. Robot. Res."},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Taylor, J.B.: Discretion versus policy rules in practice. In: Carnegie-Rochester Conference Series on Public Policy, vol. 39, no. 1, pp. 195\u2013214 (1993). https:\/\/ideas.repec.org\/a\/eee\/crcspp\/v39y1993ip195-214.html","DOI":"10.1016\/0167-2231(93)90009-L"},{"key":"1_CR30","doi-asserted-by":"publisher","unstructured":"Triebel, H.: Taylor expansions of distributions. In: The Structure of Functions. Birkh\u00e4user Basel (2001). https:\/\/doi.org\/10.1007\/978-3-0348-8257-6_8","DOI":"10.1007\/978-3-0348-8257-6_8"},{"key":"1_CR31","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1016\/j.jcp.2005.03.023","volume":"209","author":"X Wan","year":"2005","unstructured":"Wan, X., Karniadakis, G.E.: An adaptive multi-element generalized polynomial chaos method for stochastic differential equations. J. Comput. Phys. 209, 617\u2013642 (2005). https:\/\/doi.org\/10.1016\/j.jcp.2005.03.023","journal-title":"J. Comput. Phys."},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Xiu, D.: Numerical Methods for Stochastic Computations: A Spectral Method Approach. Princeton University Press, Princeton (2010). http:\/\/www.jstor.org\/stable\/j.ctv7h0skv","DOI":"10.1515\/9781400835348"},{"issue":"2","key":"1_CR33","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1137\/S1064827501387826","volume":"24","author":"D Xiu","year":"2002","unstructured":"Xiu, D., Karniadakis, G.E.: The Wiener-Askey polynomial chaos for stochastic differential equations. SIAM J. Sci. Comput. 24(2), 619\u2013644 (2002). https:\/\/doi.org\/10.1137\/S1064827501387826","journal-title":"SIAM J. Sci. 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_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,10]],"date-time":"2022-09-10T18:03:22Z","timestamp":1662833002000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-16336-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031163357","9783031163364"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-16336-4_1","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)"}}]}}