Generating Functions for Probabilistic Programs

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

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

1 results

2020
Generating Functions for Probabilistic Programs
Klinkenberg, L., Batz, K., Kaminski, B. L., Katoen, J.-P., Moerman, J. & Winkler, T., Jul 2020, Cornell University - arXiv.
Research output: Working paper / Preprint › Preprint

Open Access