Login / Signup
Latticed k-Induction with an Application to Probabilistic Programs.
Kevin Batz
Mingshuai Chen
Benjamin Lucien Kaminski
Joost-Pieter Katoen
Christoph Matheja
Philipp Schröer
Published in:
CAV (2) (2021)
Keyphrases
</>
data structure
functional programs
bayesian networks
data driven
probabilistic logic
generative model
information theoretic
uncertain data
case study
image sequences
conditional probabilities
inductive logic programming
inductive inference
explanation based learning
programming environment
constructive induction