Generating Functions for Probabilistic Programs

Klinkenberg, Lutz; Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Moerman, Joshua; Winkler, Tobias

(2020) [Preprint]

Identifier

  • REPORT NUMBER: RWTH-2020-10400