Data-Driven Synthesis of Symbolic Abstractions with Guaranteed Confidence.
Abolfazl LavaeiEmilio FrazzoliPublished in: CoRR (2022)
Keyphrases
- data driven
- high level
- confidence level
- program synthesis
- confidence measure
- symbolic representation
- model driven
- symbolic description
- neural learning
- high confidence
- low level
- optimal solution
- symbolic data
- connectionist models
- neural network
- texture synthesis
- image sequences
- intermediate level
- database systems
- computer vision