A Deductive Verification Infrastructure for Probabilistic Programs.
Philipp SchröerKevin BatzBenjamin Lucien KaminskiJoost-Pieter KatoenChristoph MathejaPublished in: CoRR (2023)
Keyphrases
- functional programs
- symbolic execution
- database languages
- generative model
- bayesian networks
- object oriented
- posterior probability
- abductive inference
- uncertain data
- probabilistic model
- data collection
- face verification
- programming environment
- hardware designs
- information theoretic
- real time
- computing environments
- data driven
- probability distribution
- deductive reasoning
- neural network