Relatively Complete Verification of Probabilistic Programs.

Kevin Batz Benjamin Lucien Kaminski Joost-Pieter Katoen Christoph Matheja

Published in: CoRR (2020)

Keyphrases

bayesian networks
data driven
uncertain data
symbolic execution
probabilistic model
artificial intelligence
case study
hardware designs
model checking
provably correct
program execution
functional verification
real world
posterior probability
expert systems
image sequences
information retrieval