Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR.

Tachio Terauchi

Published in: SAS (2015)

Keyphrases

image sequences
website
genetic algorithm
computer vision
image processing
case study
multiscale
reinforcement learning
search algorithm
small number
heuristic search
search methods
refinement process