Searching for Invariants Using Temporal Resolution.

James Brotherston Anatoli Degtyarev Michael Fisher Alexei Lisitsa

Published in: LPAR (2002)

Keyphrases

temporal resolution
spatial resolution
temporal logic
frame rate
high resolution
image sequences
space time
motion compensation
machine learning
moving objects
image analysis
digital images
model checking