h1

h2

h3

h4

h5
h6
TY  - CONF
AU  - Geißler, Dominik
AU  - Winkler, Tobias
TI  - Weighted Automata for Exact Inference in Discrete Probabilistic Programs
VL  - 16237
CY  - Cham
PB  - Springer Nature Switzerland
M1  - RWTH-2026-01632
T2  - Lecture Notes in Computer Science
SP  - 261-278
PY  - 2026
N1  - First Online: 23 November 2025
T2  - Theoretical Aspects of Computing
CY  - ,  ()
LB  - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
DO  - DOI:10.1007/978-3-032-11176-0_16
UR  - https://publications.rwth-aachen.de/record/1028429
ER  -