Generating Functions for Probabilistic Programs

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

Research output: Working paper / Preprint › Preprint

  • 1 Conference Article in proceeding
Filter
Conference Article in proceeding

Search results

  • 2021

    Generating Functions for Probabilistic Programs

    Klinkenberg, L., Batz, K., Kaminski, B. L., Katoen, J.-P., Moerman, J. & Winkler, T., 13 Feb 2021, Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings. Maribel Fernández (ed.). 1 ed. Cham: Springer, p. 231-248 18 p. (Lecture Notes in Computer Science, Vol. 12561).

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