SMT-based parameter synthesis for L/U automata.

Michal Knapik Wojciech Penczek

Published in: PNSE (2012)

Keyphrases

regular expressions
statistical machine translation
parameter settings
finite automata
cellular automata
parameter values
parameter tuning
input parameters
probabilistic automata
program synthesis
data sets
databases
social networks
logic programs
transfer function
single parameter