Exact Probabilistic Inference Using Generating Functions

Klinkenberg, Lutz; Winkler, Tobias; Chen, Mingshuai; Katoen, Joost-Pieter

(2023)
Preprint