C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A proof-based approach to verifying reachability properties.
Amel Mammar
Marc Frappier
Fama Diagne
Published in:
SAC (2011)
Keyphrases
</>
desirable properties
state space
genetic algorithm
three dimensional
similarity measure
multiscale
wide range
data structure
multiresolution
theorem proving