@inbook{GeisslerWinkler:ICTAC:2025,
    title = {Weighted Automata for Exact Inference in Discrete Probabilistic Programs},
    isbn = {9783032111760},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-032-11176-0_16},
    doi = {10.1007/978-3-032-11176-0_16},
    booktitle = {Theoretical Aspects of Computing – ICTAC 2025},
    publisher = {Springer Nature Switzerland},
    author = {Geißler, Dominik and Winkler, Tobias},
    year = {2025},
    month = {nov},
    pages = {261--278},
    date-added = {2025-12-16 16:13:40 +0100}
}

@inbook{GeisslerWinkler:ICTAC:2025, title = {Weighted Automata for Exact Inference in Discrete Probabilistic Programs}, isbn = {9783032111760}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-032-11176-0_16}, doi = {10.1007/978-3-032-11176-0_16}, booktitle = {Theoretical Aspects of Computing – ICTAC 2025}, publisher = {Springer Nature Switzerland}, author = {Geißler, Dominik and Winkler, Tobias}, year = {2025}, month = {nov}, pages = {261--278}, date-added = {2025-12-16 16:13:40 +0100} }