Generating Functions for Probabilistic Programs

Lecture notes in computer science, pp. 231–248

Authors 6

1. Lutz Klinkenberg corresponding Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, 52062, Aachen, Germany

   RWTH Aachen, University, Aachen, Germany

2. Kevin Batz Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, 52062, Aachen, Germany

   RWTH Aachen, University, Aachen, Germany

3. Benjamin Lucien Kaminski Aachen

   RWTH Aachen University · University College London

   Affiliation as printed

   RWTH Aachen University, 52062, Aachen, Germany

   University College London, London, UK

   RWTH Aachen, University, Aachen, Germany

4. Joost-Pieter Katoen Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, 52062, Aachen, Germany

   RWTH Aachen, University, Aachen, Germany

5. Joshua Moerman Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, 52062, Aachen, Germany

   RWTH Aachen, University, Aachen, Germany

6. Tobias Winkler Aachen

   RWTH Aachen University

   Affiliation as printed

   RWTH Aachen University, 52062, Aachen, Germany

   RWTH Aachen, University, Aachen, Germany