Deriving approximation tolerance constraints from verification runs.

Tobias Isenberg Marie-Christine Jakobs Felix Pauck Heike Wehrheim

Published in: CoRR (2016)

Keyphrases

model checking
closed form
global constraints
relative error
approximation error
approximation methods
approximation schemes
information systems
case study
image segmentation
multiscale
graphical models
constraint satisfaction
constraint programming
mixed integer