Number-Set Representations for Infinite-State Verification.

Bernard Boigelot

Published in: VISSAS (2005)

Keyphrases

small number
small fraction
maximum number
finite number
fixed number
neural network
equally spaced
probability distribution
computational complexity
highly correlated
initial set
np hard
test cases
user defined
image set
multi agent
artificial intelligence
data mining
real world
reduced set
data sets