Generating Functions for Probabilistic Programs

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

^*Corresponding author for this work

Department of Computer Science

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

1 Preprint

1 results

Filter

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 › Academic

Open Access