Symbolic synthesis with average performance guarantees.

Matthias Rungger Gunther Reissig Majid Zamani

Published in: CDC (2016)

Keyphrases

neural network
standard deviation
database
databases
case study
symbolic representation
program synthesis