Generating Functions for Probabilistic Programs

Klinkenberg, Lutz (Corresponding author); Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Moerman, Joshua; Winkler, Tobias

Cham : Springer International Publishing [2021.] ; Cham : Imprint: Springer [2021.] (2021)
Contribution to a book, Contribution to a conference proceedings

In: Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings / edited by Maribel Fernández
Page(s)/Article-Nr.: 231-248

Institutions

• UnRAVeL Research Training Group [080060]
• Department of Computer Science [120000]
• Chair of Computer Science 2 (Software Modeling and Verification) [121310]