Pushdown Module Checking.

Laura Bozzelli Aniello Murano Adriano Peron

Published in: LPAR (2005)

Keyphrases

verification method
model checking
feature extraction
pattern recognition
real world
genetic algorithm
artificial intelligence
information systems
image processing
data sets
machine learning
artificial neural networks
query processing
np hard
mobile robot
probability distribution
neural network