Decidability of the Reachability for a Family of Linear Vector Fields.

Ting Gan Mingshuai Chen Liyun Dai Bican Xia Naijun Zhan

Published in: ATVA (2015)

Keyphrases

vector field
differential operators
velocity field
gradient field
optical flow
state space
description logics
motion field
critical points
computer vision
motion estimation
flow field
displacement field
scalar field