Parameterized Synthesis.

Swen Jacobs Roderick Bloem

Published in: Log. Methods Comput. Sci. (2014)

Keyphrases

program synthesis
real time
texture synthesis
databases
similarity measure
neural network
genetic algorithm
case study
computer science
evolutionary algorithm