Feedback Refinement Relations for the Synthesis of Symbolic Controllers.
Gunther ReissigAlexander WeberMatthias RunggerPublished in: CoRR (2015)
Keyphrases
- controller synthesis
- query refinement
- semantic relations
- decision trees
- data model
- program synthesis
- symbolic representation
- spatial relations
- relevance feedback
- information systems
- reinforcement learning
- data sets
- high level
- background knowledge
- knowledge base
- texture synthesis
- search engine
- machine learning
- neural network
- databases