Bounded Synthesis of Register Transducers.

Ayrat Khalimov Benedikt Maderbacher Roderick Bloem

Published in: ATVA (2018)

Keyphrases

texture synthesis
program synthesis
databases
asymptotically optimal
finite automata
data sets
feature selection
wide range
artificial neural networks
hidden markov models
probabilistic model