Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
Chen, Mingshuai; Katoen, Joost-Pieter; Klinkenberg, Lutz; Winkler, Tobias
(2022)
Contribution to a book, Contribution to a conference proceedings
In: [34th International Conference on Computer Aided Verification, CAV22, 2022-08-07 - 2022-08-10, Haifa, Israel]
Identifier
- DOI: 10.1007/978-3-031-13185-1_5
- RWTH PUBLICATIONS: RWTH-2022-05821