PSI: Exact Symbolic Inference for Probabilistic Programs
Authors:
- Timon GehrTGTimon Gehr
- Sasa MisailovicSMSasa Misailovic
- Martin VechevMVMartin Vechev
Top Cited Papers
- 13 July 2016
- book chapter
- Published by Springer Nature
- p. 62-83
Abstract
No abstract availableThis publication has 33 references indexed in Scilit:
- Probabilistic Abstract Interpretation2012
- Inference in hybrid Bayesian networks using mixtures of polynomialsInternational Journal of Approximate Reasoning, 2011
- Measure Transformer Semantics for Bayesian Machine Learning2011
- Probabilistic Abstract Interpretation and Statistical TestingLecture Notes in Computer Science, 2002
- Mixtures of Truncated Exponentials in Hybrid Bayesian Networks2001
- Abstract Interpretation of Probabilistic Semantics2000
- Probabilistic predicate transformersACM Transactions on Programming Languages and Systems, 1996
- Symbolic probabilistic inference with both discrete and continuous variablesIEEE Transactions on Systems, Man, and Cybernetics, 1995
- Approximating probabilistic inference in Bayesian belief networks is NP-hardArtificial Intelligence, 1993
- Semantics of probabilistic programsJournal of Computer and System Sciences, 1981