The Gradual Verifier.

Stephan Arlt Cindy Rubio-González Philipp Rümmer Martin Schäf Natarajan Shankar

Published in: NASA Formal Methods (2014)

Keyphrases

databases
object recognition
designated verifier
real time
image processing
feature extraction
co occurrence
open source