Symbolic bounded synthesis.

Rüdiger Ehlers

Published in: Formal Methods Syst. Des. (2012)

Keyphrases

symbolic representation
texture synthesis
program synthesis
symbolic data
symbolic reasoning
real time
artificial intelligence
reinforcement learning
artificial neural networks
evolutionary algorithm
control system
symbolic description
connectionist learning
connectionist systems