Exploiting Hub States in Automatic Verification.

Giuseppe Della Penna Igor Melatti Benedetto Intrigila Enrico Tronci

Published in: ATVA (2005)

Keyphrases

neural network
machine learning
information retrieval
web services
decision trees
data structure
expert systems
control system
special case
finite state machines
belief state