A practical algorithm for learning disjunctive abstraction heuristics in static program analysis.
Donghoon JeonMinseok JeonHakjoo OhPublished in: Inf. Softw. Technol. (2021)
Keyphrases
- learning algorithm
- cost function
- experimental evaluation
- learning process
- learning speed
- matching algorithm
- linear programming
- computational complexity
- search space
- theoretical analysis
- particle swarm optimization
- computational cost
- objective function
- k means
- greedy heuristic
- learning phase
- preprocessing
- worst case
- online learning
- evolutionary algorithm
- segmentation algorithm
- optimization algorithm
- machine learning
- learning tasks
- times faster
- path planning
- neural network
- reinforcement learning
- probabilistic model
- dynamic programming
- np hard
- optimal solution
- significant improvement