StatVerif: Verification of Stateful Processes.

Myrto Arapinis Eike Ritter Mark Dermot Ryan

Published in: CSF (2011)

Keyphrases

computer vision
formal verification
machine learning
image processing
image sequences
mobile robot
face detection
face verification