SMT-Based CPS Parameter Synthesis.

Heinz Riener Robert Könighofer Görschwin Fey Roderick Bloem

Published in: ARCH@CPSWeek (2016)

Keyphrases

program synthesis
parameter settings
genetic algorithm
information systems
statistical machine translation
databases
database systems
parameter values
texture synthesis
parameter tuning
input parameters
design parameters