Counterexample-Guided Refinement of Template Polyhedra.

Sergiy Bogomolov Goran Frehse Mirco Giacobbe Thomas A. Henzinger

Published in: TACAS (1) (2017)

Keyphrases

template matching
model checking
refinement process
input image
bayesian networks
optimal solution
special case
matching algorithm
neural network
data mining
metadata
convex hull
line drawings