TY  - RPRT
TI  - Weighted Automata for Exact Inference in Discrete Probabilistic Programs
AU  - Dominik Geißler
AU  - Tobias Winkler
PY  - 2025
UR  - https://arxiv.org/abs/2509.15074
ID  - 2509.15074
ER  -