A Persistent-Set Approach to Abstract Stat-Space Construction in Verification.

Ulrich Ultes-Nitsche

Published in: SOFSEM (1999)

Keyphrases

artificial intelligence
neural network
multidimensional space
databases
computer vision
case study
search algorithm
np hard
model checking
user defined
finite dimensional