Conditioning in probabilistic programming

DOI10.1016/j.entcs.2015.12.013zbMath1351.68066arXiv1504.00198OpenAlexW1796931464WikidataQ57800628 ScholiaQ57800628MaRDI QIDQ5971400

Federico Olmedo, Nils Jansen, Joost-Pieter Katoen, Benjamin Lucien Kaminski, Friedrich Gretz, Annabelle McIver

Publication date: 16 December 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1504.00198

zbMATH Keywords

program transformationsemanticsconditional probabilitiesprobabilistic programming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (9)

A denotational semantics for low-level probabilistic programs with nondeterminism ⋮ Hennessy-Milner results for probabilistic PDL ⋮ Understanding Probabilistic Programs ⋮ Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism ⋮ Conditioning in probabilistic programming ⋮ On the hardness of analyzing probabilistic programs ⋮ Maximizing the Conditional Expected Reward for Reaching the Goal ⋮ Nearly Optimal Verifiable Data Streaming ⋮ Probabilistic NetKAT

Uses Software

• Church

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A probabilistic PDL
• Semantics of probabilistic programs
• Stochastic \(\lambda\)-calculi: an extended abstract
• Probabilistic Abstract Interpretation
• Programming as a Discipline of Mathematical Nature
• Linear-Invariant Generation for Probabilistic Programs:
• Tabular
• Conditional Probabilities over Probabilistic and Nondeterministic Systems
• Distributing probability over non-determinism
• Conditioning in probabilistic programming
• Probabilistic concurrent constraint programming

This page was built for publication: Conditioning in probabilistic programming