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)
Fachzeitschriftenartikel

In: ACM transactions on programming languages and systems : ACM TOPLAS
Band: 40
Heft: 1
Seite(n)/Artikel-Nr.: 4

Einrichtungen

• Graduiertenkolleg UnRAVeL [080060]
• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]