Time-Bounded Verification.

Joël Ouaknine Alexander Rabinovich James Worrell

Published in: CONCUR (2009)

Keyphrases

model checking
face verification
data sets
signature verification
person identification
databases
real world
image processing
multiscale
multi agent
lower bound
temporal logic
formal methods
asymptotically optimal
bounded treewidth
functional verification