Analyzing Expected Outcomes and Almost-Sure Termination of Probabilistic Programs is Hard.

Benjamin Lucien Kaminski Joost-Pieter Katoen

Published in: CoRR (2014)

Keyphrases

bayesian networks
probabilistic relational
artificial intelligence
uncertain data
computer programs
multiscale
probabilistic model
programming environment
automatic programming
probabilistic approaches