Dense Counter Machines and Verification Problems.

Gaoyan Xie Zhe Dang Oscar H. Ibarra Pierluigi San Pietro

Published in: CAV (2003)

Keyphrases

computer vision
problems involving
database
neural network
information systems
optimal solution
multi agent systems
multiresolution
multi objective
linear programming
np complete
model checking
solving problems