Generating Functions for Probabilistic Programs

Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski +3

This paper investigates the usage of generating functions (GFs) encoding measures over the program variables for reasoning about discrete probabilistic programs. To that end, we de…