Explaining Hyperproperty Violations.

Norine Coenen Raimund Dachselt Bernd Finkbeiner Hadar Frenkel Christopher Hahn Tom Horak Niklas Metzger Julian Siber

Published in: CoRR (2022)

Keyphrases

constraint violations
database
image processing
relational databases
generating explanations
np complete
neural network
computational intelligence
sufficient conditions
object oriented
data points
heuristic search
computer vision
graph cuts
query processing
visual features
image sequences