Unbeast: Symbolic Bounded Synthesis.

Rüdiger Ehlers

Published in: TACAS (2011)

Keyphrases

high level
computer vision
low level
program synthesis
symbolic description
neural network
objective function
data structure
real time
knowledge base
metadata
multi agent systems
expert systems
analog circuits
symbolic data