Extracting unsatisfiable cores for LTL via temporal resolution.

Viktor Schuppan

Published in: Acta Informatica (2016)

Keyphrases

temporal resolution
temporal logic
unsatisfiable cores
spatial resolution
model checking
hidden structure
frame rate
high resolution
satisfiability problem
motion compensation
max sat
belief revision
space time
machine learning
heuristic search
low resolution
image sequences