h1

h2

h3

h4

h5
h6
%0 Conference Paper
%A Geißler, Dominik
%A Winkler, Tobias
%T Weighted Automata for Exact Inference in Discrete Probabilistic Programs
%V 16237
%C Cham
%I Springer Nature Switzerland
%M RWTH-2026-01632
%B Lecture Notes in Computer Science
%P 261-278
%D 2026
%Z First Online: 23 November 2025
%< Theoretical Aspects of Computing – ICTAC 2025 : 22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings / edited by Zhiming Liu, Adnane Saoud, Heike Wehrheim
%B Theoretical Aspects of Computing
%C ,  ()
%F PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
%9 Contribution to a bookContribution to a conference proceedings
%R 10.1007/978-3-032-11176-0_16
%U https://publications.rwth-aachen.de/record/1028429