Assume-admissible synthesis.

Romain Brenguier Jean-François Raskin Ocan Sankur

Published in: Acta Informatica (2017)

Keyphrases

program synthesis
texture synthesis
machine learning
trade off
neural network
relational databases
evolutionary algorithm
dynamic programming
state space