{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T03:10:53Z","timestamp":1775790653886,"version":"3.50.1"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032111753","type":"print"},{"value":"9783032111760","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,11,23]],"date-time":"2025-11-23T00:00:00Z","timestamp":1763856000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,23]],"date-time":"2025-11-23T00:00:00Z","timestamp":1763856000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-11176-0_16","type":"book-chapter","created":{"date-parts":[[2025,11,22]],"date-time":"2025-11-22T20:11:25Z","timestamp":1763842285000},"page":"261-278","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Weighted Automata for\u00a0Exact Inference in\u00a0Discrete Probabilistic Programs"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-8069-1417","authenticated-orcid":false,"given":"Dominik","family":"Gei\u00dfler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1084-6408","authenticated-orcid":false,"given":"Tobias","family":"Winkler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,11,23]]},"reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1007\/978-3-642-54862-8_43","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"C Baier","year":"2014","unstructured":"Baier, C., Klein, J., Kl\u00fcppelholz, S., M\u00e4rcker, S.: Computing conditional probabilities in Markovian models efficiently. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 515\u2013530. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54862-8_43"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-030-83723-5_15","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends","author":"CE Budde","year":"2021","unstructured":"Budde, C.E., et al.: On correctness, precision, and performance in quantitative verification. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12479, pp. 216\u2013241. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-83723-5_15"},{"key":"16_CR3","unstructured":"Campillo Navarro, A.: Order statistics and multivariate discrete phase-type distributions. Ph.D. thesis (2019). https:\/\/orbit.dtu.dk\/files\/177528739\/PHD_2018_492.pdf"},{"key":"16_CR4","doi-asserted-by":"publisher","unstructured":"Carpenter, B., et al.: Stan: a probabilistic programming language. J. Stat. Softw. 76(1), 1\u201332 (2017). https:\/\/doi.org\/10.18637\/jss.v076.i01. https:\/\/www.jstatsoft.org\/index.php\/jss\/article\/view\/v076i01","DOI":"10.18637\/jss.v076.i01"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Chen, M., Katoen, J.P., Klinkenberg, L., Winkler, T.: Does a program yield the right distribution? Verifying probabilistic programs via generating functions. In: International Conference on Computer Aided Verification, pp. 79\u2013101. Springer (2022)","DOI":"10.1007\/978-3-031-13185-1_5"},{"key":"16_CR6","doi-asserted-by":"publisher","unstructured":"Chiang, D., McDonald, C., Shan, C.C.: Exact recursive probabilistic programming. Proc. ACM Program. Lang. 7(OOPSLA1) (2023). https:\/\/doi.org\/10.1145\/3586050","DOI":"10.1145\/3586050"},{"key":"16_CR7","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":"16_CR8","doi-asserted-by":"crossref","unstructured":"Gei\u00dfler, D., Winkler, T.: Weighted automata for exact inference in discrete probabilistic programs (2025). https:\/\/arxiv.org\/abs\/2509.15074","DOI":"10.1007\/978-3-032-11176-0_16"},{"key":"16_CR9","unstructured":"Goodman, N.D., Stuhlm\u00fcller, A.: The Design and Implementation of Probabilistic Programming Languages (2014). http:\/\/dippl.org. Accessed 16 June 2025"},{"key":"16_CR10","unstructured":"Goodman, N.D., Tenenbaum, J.B., Contributors, T.P.: Probabilistic Models of Cognition (2016). http:\/\/probmods.org\/. Accessed 03 May 2025"},{"key":"16_CR11","doi-asserted-by":"publisher","unstructured":"Gordon, A.D., Henzinger, T.A., Nori, A.V., Rajamani, S.K.: Probabilistic programming. In: Future of Software Engineering Proceedings, FOSE 2014, pp. 167\u2013181. Association for Computing Machinery, New York (2014). https:\/\/doi.org\/10.1145\/2593882.2593900","DOI":"10.1145\/2593882.2593900"},{"issue":"4","key":"16_CR12","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/S10009-021-00633-Z","volume":"24","author":"C Hensel","year":"2022","unstructured":"Hensel, C., Junges, S., Katoen, J., Quatmann, T., Volk, M.: The probabilistic model checker storm. Int. J. Softw. Tools Technol. Transf. 24(4), 589\u2013610 (2022). https:\/\/doi.org\/10.1007\/S10009-021-00633-Z","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"16_CR13","doi-asserted-by":"publisher","unstructured":"Holtzen, S., Van\u00a0den Broeck, G., Millstein, T.: Scaling exact inference for discrete probabilistic programs. Proc. ACM Program. Lang. 4(OOPSLA) (2020). https:\/\/doi.org\/10.1145\/3428208","DOI":"10.1145\/3428208"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-030-68446-4_12","volume-title":"Logic-Based Program Synthesis and Transformation","author":"L Klinkenberg","year":"2021","unstructured":"Klinkenberg, L., Batz, K., Kaminski, B.L., Katoen, J.-P., Moerman, J., Winkler, T.: Generating functions for probabilistic programs. In: Fernandez, M. (ed.) LOPSTR 2020. LNCS, vol. 12561, pp. 231\u2013248. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-68446-4_12"},{"issue":"OOPSLA1","key":"16_CR15","doi-asserted-by":"publisher","first-page":"923","DOI":"10.1145\/3649844","volume":"8","author":"L Klinkenberg","year":"2024","unstructured":"Klinkenberg, L., Blumenthal, C., Chen, M., Haase, D., Katoen, J.P.: Exact Bayesian inference for loopy probabilistic programs using generating functions. Proc. ACM Program. Lang. 8(OOPSLA1), 923\u2013953 (2024)","journal-title":"Proc. ACM Program. Lang."},{"key":"16_CR16","unstructured":"Koller, D., McAllester, D.A., Pfeffer, A.: Effective Bayesian inference for stochastic programs. In: AAAI\/IAAI, pp. 740\u2013747. AAAI Press\/The MIT Press (1997). http:\/\/www.aaai.org\/Library\/AAAI\/1997\/aaai97-115.php"},{"issue":"3","key":"16_CR17","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1016\/0022-0000(81)90036-2","volume":"22","author":"D Kozen","year":"1981","unstructured":"Kozen, D.: Semantics of probabilistic programs. J. Comput. Syst. Sci. 22(3), 328\u2013350 (1981). https:\/\/doi.org\/10.1016\/0022-0000(81)90036-2","journal-title":"J. Comput. Syst. Sci."},{"key":"16_CR18","doi-asserted-by":"publisher","unstructured":"Kozen, D.: A probabilistic PDL. In: STOC, pp. 291\u2013297. ACM (1983). https:\/\/doi.org\/10.1145\/800061.808758","DOI":"10.1145\/800061.808758"},{"key":"16_CR19","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1007\/978-3-642-59136-5_9","volume-title":"Handbook of Formal Languages","author":"W Kuich","year":"1997","unstructured":"Kuich, W.: Semirings and Formal Power Series: Their Relevance to Formal Languages and Automata. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, pp. 609\u2013677. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/978-3-642-59136-5_9"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47"},{"key":"16_CR21","doi-asserted-by":"publisher","unstructured":"Mahdi\u00a0Shamsi, S., Pietro\u00a0Farina, G., Gaboardi, M., Napp, N.: Probabilistic programming languages for modeling autonomous systems. In: 2020 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI), pp. 32\u201339 (2020). https:\/\/doi.org\/10.1109\/MFI49285.2020.9235230","DOI":"10.1109\/MFI49285.2020.9235230"},{"key":"16_CR22","doi-asserted-by":"publisher","unstructured":"McIver, A., Morgan, C.: Abstraction, Refinement and Proof for Probabilistic Systems. Monographs in Computer Science. Springer (2005). https:\/\/doi.org\/10.1007\/B138392","DOI":"10.1007\/B138392"},{"key":"16_CR23","doi-asserted-by":"publisher","unstructured":"Olmedo, F., Gretz, F., Jansen, N., Kaminski, B.L., Katoen, J., McIver, A.: Conditioning in probabilistic programming. ACM Trans. Program. Lang. Syst. 40(1), 4:1\u20134:50 (2018). https:\/\/doi.org\/10.1145\/3156018","DOI":"10.1145\/3156018"},{"key":"16_CR24","doi-asserted-by":"publisher","unstructured":"Saad, F.A., Rinard, M.C., Mansinghka, V.K.: SPPL: probabilistic programming with fast exact symbolic inference. In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2021, pp. 804\u2013819. Association for Computing Machinery, New York (2021). https:\/\/doi.org\/10.1145\/3453483.3454078","DOI":"10.1145\/3453483.3454078"},{"key":"16_CR25","unstructured":"Tran, D., Hoffman, M.D., Saurous, R.A., Brevdo, E., Murphy, K., Blei, D.M.: Deep Probabilistic Programming (2017). https:\/\/arxiv.org\/abs\/1701.03757"},{"issue":"S1","key":"16_CR26","doi-asserted-by":"publisher","first-page":"S59","DOI":"10.1017\/S051503610001165X","volume":"16","author":"G Willmot","year":"1986","unstructured":"Willmot, G.: Mixed compound poisson distributions. ASTIN Bull. 16(S1), S59\u2013S79 (1986). https:\/\/doi.org\/10.1017\/S051503610001165X","journal-title":"ASTIN Bull."},{"key":"16_CR27","unstructured":"Zaiser, F., Murawski, A., Ong, C.H.L.: Exact Bayesian inference on discrete models via probability generating functions: a probabilistic programming approach. In: Oh, A., Naumann, T., Globerson, A., Saenko, K., Hardt, M., Levine, S. (eds.) Advances in Neural Information Processing Systems, vol.\u00a036, pp. 2427\u20132462. Curran Associates, Inc. (2023). https:\/\/proceedings.neurips.cc\/paper_files\/paper\/2023\/file\/0747af6f877c0cb555fea595f01b0e83-Paper-Conference.pdf"}],"updated-by":[{"DOI":"10.1007\/978-3-032-11176-0_29","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2025,11,23]],"date-time":"2025-11-23T00:00:00Z","timestamp":1763856000000}}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2025"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-11176-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T11:09:18Z","timestamp":1770721758000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-11176-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,23]]},"ISBN":["9783032111753","9783032111760"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-11176-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,23]]},"assertion":[{"value":"23 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"23 November 2025","order":2,"name":"change_date","label":"Change Date","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Correction","order":3,"name":"change_type","label":"Change Type","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"A correction has been published.","order":4,"name":"change_details","label":"Change Details","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTAC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Colloquium on Theoretical Aspects of Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Marrakesh","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Morocco","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ictac2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ictac2025.digital-hub.sh\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}