TY - RPRT TI - Exact Probabilistic Inference Using Generating Functions AU - Lutz Klinkenberg AU - Tobias Winkler AU - Mingshuai Chen AU - Joost-Pieter Katoen PY - 2023 UR - https://arxiv.org/abs/2302.00513 ID - 2302.00513 ER -