Global Reachability in Bounded Phase Multi-stack Pushdown Systems.

Published in: CAV (2010)

Keyphrases

building blocks
intelligent systems
genetic algorithm
artificial intelligence
multiscale
software engineering
computer systems
global knowledge
data sets
machine learning
learning algorithm
search algorithm
state space
model checking
global information