On the hardness of analyzing probabilistic programs.

Benjamin Lucien Kaminski Joost-Pieter Katoen Christoph Matheja

Published in: Acta Informatica (2019)

Keyphrases

generative model
information theoretic
information systems
bayesian networks
computational complexity
uncertain data
probabilistic approaches
database
java programs
fixpoint
phase transition
probabilistic model
real time
np complete
worst case
learning theory
computer programs
artificial intelligence