Sampling-Based Runtime Verification.

Borzoo Bonakdarpour Samaneh Navabpour Sebastian Fischmeister

Published in: FM (2011)

Keyphrases

model checking
monte carlo
formal verification
face verification
verification method
signature verification
computer vision
motion planning
neural network
expert systems
digital images
digital libraries
clustering algorithm
website
image processing
genetic algorithm
information retrieval
data mining