Counterexample-Driven Synthesis for Probabilistic Program Sketches.
Milan CeskaChristian HenselSebastian JungesJoost-Pieter KatoenPublished in: FM (2019)
Keyphrases
- program synthesis
- data driven
- functional programs
- probabilistic model
- bayesian networks
- artificial intelligence
- generative model
- machine learning
- logic programs
- model checking
- conditional probabilities
- uncertain data
- belief networks
- probability theory
- probabilistic interpretation
- java programs
- program execution
- information systems
- probabilistic relational