Liveness Checking as Safety Checking.

Armin Biere Cyrille Artho Viktor Schuppan

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

data sets
computer vision
consistency checking
databases
learning algorithm
case study
three dimensional