Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions

Chen, Mingshuai (Corresponding author); Katoen, Joost-Pieter (Corresponding author); Klinkenberg, Lutz (Corresponding author); Winkler, Tobias (Corresponding author)

1st ed. 2022.. - Cham : Springer International Publishing (2022)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I / edited by Sharon Shoham, Yakir Vizel
Seite(n)/Artikel-Nr.: 79-101

Einrichtungen

• Profilbereich Information & Communication Technology (ICT) [080017]
• Graduiertenkolleg UnRAVeL [080060]
• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]