v1v2 (latest)

Deriving Probability Density Functions from Probabilistic Functional Programs

4 April 2017

Papers citing "Deriving Probability Density Functions from Probabilistic Functional Programs"

4 / 4 papers shown

Title
Distribution Estimation for Probabilistic Loops A. Karimi Marcel Moosbrugger Miroslav Stankovivc Laura Kovács E. Bartocci E. Bura 45 2 0 13 May 2022
Towards Verified Stochastic Variational Inference for Probabilistic Programs Wonyeol Lee Hangyeol Yu Xavier Rival Hongseok Yang 70 26 0 20 Jul 2019
A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version) R. Lanotte Massimo Merro A. Munteanu Luca Vigano 72 42 0 12 Feb 2019
Composing inference algorithms as program transformations R. Zinkov Chung-chieh Shan TPM 88 30 0 06 Mar 2016