Safety Verification of Iterative Algorithms over Polynomial Vector Fields.

Mardavij Roozbehani Alexandre Megretski Eric Feron

Published in: CDC (2006)

Keyphrases

vector field
iterative algorithms
optical flow
safety analysis
model checking
velocity field
iterative methods
dual formulation
critical points
learning algorithm
motion field
differential operators
machine learning
computer vision
principal component analysis
scalar field