Practical Dynamic Logic GMTI Tracker.

Simon Streltsov Sergey Petrov Ilya Muchnik

Published in: IJCNN (2007)

Keyphrases

dynamic logic
imperative programs
modal logic
real time
image sequences
object tracking
computer vision
multi agent
general purpose
appearance model
fixed point
propositional dynamic logic