Generalized Reactivity(1) Synthesis without a Monolithic Strategy.

Matthias Schlaipfer Georg Hofferek Roderick Bloem

Published in: Haifa Verification Conference (2011)

Keyphrases

search strategy
search strategies
program synthesis
selection strategy
data sets
neural network
multimedia
website