Reactive Synthesis: Towards Output-Sensitive Algorithms.
Bernd FinkbeinerFelix KleinPublished in: CoRR (2018)
Keyphrases
- learning algorithm
- recently developed
- orders of magnitude
- optimization problems
- genetic algorithm
- machine learning algorithms
- theoretical analysis
- evolutionary algorithm
- computational cost
- graph theory
- computationally expensive
- computationally efficient
- data mining
- neural network
- computational complexity
- input data
- data structure
- database systems
- website
- knowledge base
- classification algorithm
- data sets