Question-guided stubborn set methods for state properties.

Lars Michael Kristensen Karsten Schmidt Antti Valmari

Published in: Formal Methods Syst. Des. (2006)

Keyphrases

empirical studies
significant improvement
semi supervised
data mining techniques
hierarchical structure
data sets
decision trees
multiscale
preprocessing
artificial neural networks
computational cost
medical images
classification method
statistical methods
image set
population size