Counterexample-Driven Synthesis for Probabilistic Program Sketches.
Milan CeskaChristian HenselSebastian JungesJoost-Pieter KatoenPublished in: CoRR (2019)
Keyphrases
- program synthesis
- functional programs
- data driven
- model checking
- probabilistic model
- uncertain data
- face sketch
- static analysis
- probabilistic logic
- genetic algorithm
- generative model
- information theoretic
- control program
- texture synthesis
- formal verification
- probability theory
- machine learning
- probabilistic approaches
- knowledge base
- program execution
- probabilistic interpretation
- expert systems
- belief networks
- neural network
- bayesian networks
- multi agent systems
- graphical models