Generalized counterexamples to liveness properties.

Gadi Aleksandrowicz Jason Baumgartner Alexander Ivrii Ziv Nevo

Published in: FMCAD (2013)

Keyphrases

structural properties
desirable properties
databases
objective function
wide range
information technology
artificial intelligence
computer vision
case study
image segmentation
search algorithm
evolutionary algorithm
topological properties