Extracting Unsatisfiable Cores for LTL via Temporal Resolution.

Viktor Schuppan

Published in: TIME (2013)

Keyphrases

temporal resolution
temporal logic
unsatisfiable cores
model checking
spatial resolution
frame rate
image sequences
hidden structure
high resolution
computer vision
three dimensional
video sequences
space time
orders of magnitude
satisfiability problem
max sat