Conditioning in Probabilistic Programming

Olmedo, Federico (Corresponding author); Gretz, Friedrich (Corresponding author); Jansen, Nils (Corresponding author); Kaminski, Benjamin Lucien (Corresponding author); Katoen, Joost-Pieter (Corresponding author); Mciver, Annabelle (Corresponding author)

New York, NY : Association for Computing Machinery (2017, 2018)
Journal Article

In: ACM transactions on programming languages and systems : ACM TOPLAS
Volume: 40
Issue: 1
Page(s)/Article-Nr.: 4


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