How to Handle Assumptions in Synthesis.

Roderick Bloem Rüdiger Ehlers Swen Jacobs Robert Könighofer

Published in: SYNT (2014)

Keyphrases

real time
data sets
genetic algorithm
decision making
image processing
feature extraction
probabilistic model
program synthesis
restrictive assumptions